Map<String, Expr> substitutions = new HashMap<String, Expr>();
for (int i = 0; i < this.getArgList().size(); i++) {
substitutions.put(this.getArgList().get(i).getVarName(), args.get(i));
}
this.actualExpr = ExprTransformer.transform(new ExprTransformSubstitute(substitutions), this.getBaseExpr());
}