Predicate ConsistentReturns::explicitly_returns_non_none

predicate explicitly_returns_non_none(Function func)