tptp_compliance verify --equivalence strong --no-proof-search --save-problems $OUT successor.1.lp successor.2.lp
