renamed LambdaSpecification to PredicateSpecification