test added
model checker updated
LambdaPredicate, Javadoc updated
Predicate, Javadoc updated
EmptyPredicate, javadoc updated
AbstractPredicate, Javadoc updated
EpsilonPredicate, Javadoc updated
AndPredicate, Javadoc updated
Javadoc and algorithms updated