Extend Especialize rule: find maximal argument prefixes that end in 1 or more arguments with functional types

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

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