Assume clauses have been parsed before order is verified.
Assume clauses have been parsed before order is verified.

clasp-developers/SICL,clasp-developers/SICL,vtomole/SICL,vtomole/SICL,vtomole/SICL,clasp-developers/SICL,vtomole/SICL,clasp-developers/SICL