Fixed some bugs with standardise apart for cnf
Fixed pretty printing for clause form