corrected lambada abstraction predicates