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