Predicate AV Rule 71::badCall

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