Predicate UncheckedReturnValue::dubious

Holds if m is a method whose return value should be checked because most calls to m do.

predicate dubious(Method m, int percentage)