Changes in tptp2smtlib to remove index"