Predicate PointsTo::virtualArg

predicate virtualArg(Expr receiver, VirtualFunction called, string arglabel, Expr arg)