Modified Litera's <
Fixed bug in Clause.simplify