Predicate PointsTo::PointsTo::API::getattr

Holds if call is of the form getattr(arg, "name").

predicate getattr(CallNode call, ControlFlowNode arg, string name)