Predicate badCall

predicate badCall(Constructor c, FunctionCall call, MemberVariable mv)