Reorder tests by execution time
Require normal forms in conseq derivations