FAILED
Error message:
Fatal: parse error on <unknownInputProof> at [sccWithProof, sccDecomposition, sccWithProof, sccDecomposition, sccWithProof, sccDecomposition, switchToCooperationTermination, ltsTerminationProof, ltsandproof, llvmTerminationProof, proof, certificationProblem]:
expecting [sccDecomposition, cutTransitionSplit, freshVariableAddition, locationAddition, transitionRemoval, newInvariants, trivial]
        0.24 real         0.19 user         0.03 sys