optimized predicates for lambda abstraction