Javadoc of the class EpsilonPredicate updated
method getConstraints changed to getPredicates
EmptyPredicate, javadoc and omega operator updated
LamdaPredicate, javadoc updated