Predicate UncheckedReturnValue::important

Holds if m is a method whose return value should always be checked.

predicate important(Method m)