Predicate ReturnValueIgnored::checkedMethodCall

predicate checkedMethodCall(MethodAccess ma)