Remove auto-aritization from TPTP parser
reenable some regression tests (currently failing)