RUNNING APROVE
filename: Thun_true-termination.c.pass1.llvm
Graph finished, checking  consistency
Graph finished, checked consistency, took 0.0s
Cannot find out cpu time on external processes, falling back to wall time!
java.lang.NullPointerException
	at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor$RankingReductionPairProof.interpretationToCPF(RankingRedPairProcessor.java:372)
	at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor$RankingReductionPairProof.toCPF(RankingRedPairProcessor.java:390)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:397)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.ProofTree.Obligations.BasicObligationNode.toCPF(BasicObligationNode.java:374)
	at aprove.CommandLineInterface.ProofExport.exportCPF(ProofExport.java:132)
	at aprove.ProofTree.Obligations.BasicObligationNode.writeCPF(BasicObligationNode.java:423)
	at aprove.CommandLineInterface.ProofExport$1.export(ProofExport.java:27)
	at aprove.CommandLineInterface.Main.run(Main.java:150)
	at aprove.CommandLineInterface.Main.doMain(Main.java:42)
	at aprove.Main.doMain(Main.java:54)
	at aprove.Main.main(Main.java:20)
-:1: parser error : Start tag expected, '<' not found
java.lang.NullPointerException
^

real	0m9.140s
user	0m14.775s
sys	0m0.632s