[Gas-Analysis] Support functions returned by pattern matches

[vaivaswatha]

If the return value of a MatchExpr is a function, we do not handle it now because the argument names may be different in each. This can be supported by normalizing the argument names across branches. See TODO in MatchExpr.