Predicate PointsTo::varArgRead

predicate varArgRead(Function f, Expr e)