if (!(pred instanceof Call))
continue;
Call call = (Call)pred;
AliasInfo beforeCall = aa.getInfoBefore(call);
ExceptionalReturn exReturn = call.target.getExceptionalReturn();
for (int i=0; i<call.args.length; i++) {
if (!beforeCall.mightBeAliases(v, call.args[i]))
continue;
Variable param = call.target.getEntry().params[i];