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