Predicate InconsistentCallOnResult::okToIgnore

predicate okToIgnore(MethodAccess ma)