Predicate PointsTo::virtualThis

predicate virtualThis(Expr receiver, VirtualFunction called, string thislabel, Expr thisexpr)