asserted predicates in lambda abstractions