Allow [where con] to descend within submodule structure; open submodule constraints while checking later signature items

function print() {
  alert("Hi there!");
}

function bar(s) {
  alert("<<" + s + ">>");
}