Ensure that problems from TPTP 6.1.0 can be parsed