predicate lambda expansion