add CLI flag to turn TPTP `definition` into rewrite rules
add CLI flag to turn TPTP `definition` into rewrite rules

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition