FAILED
Error message:
Fatal: parse error on <unknownInputProof> at [ltsandproof, llvmTerminationProof, proof, certificationProblem]:
expecting [ltsTerminationProof]
        2.63 real         2.54 user         0.06 sys