Symbols are sorted when saving model in TPTP
Make Symred deterministic