cfg.addFilter(argsOnly);
for (int i=0; i<args.length; i++) {
cfg.addStatement(new VarStm(params[i], args[i], call.getOrigin()));
}
graph.addEdge(cfg.currentStatement(), target.getEntry(), paramsOnly);
cfg.moveToStatement(target.getExit());
cfg.addStatement(new VarStm(call.getResult(), target.getReturnVar(), call.getOrigin()), returnFilter);
/*for (int i=0; i<args.length; i++) {
if (call.isArgumentMutable(i)) {
cfg.addStatement(new VarStm(call.getArgument(i), target.getParameter(i), call.getOrigin()));
}