Fixed bug in the comparing validity of the clause