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