Predicate PointsTo::virtualRet

predicate virtualRet(Expr receiver, VirtualFunction called, string retlabel, FunctionCall c)