Predicate UncheckedReturnValue::whitelist

Holds if m is a white-listed method where checking the return value is not required.

predicate whitelist(Method m)