Added tptp4X test.
Released TPTP 5.5.0