MAYBE
java.lang.RuntimeException: unknown degree: class aprove.Complexity.TruthValue.SingletonComplexity
	at aprove.Complexity.TruthValue.ComplexityYNM.degreeOf(ComplexityYNM.java:16)
	at aprove.Complexity.CpxRelTrsProblem.CpxRelTrsProblem.getCPFInput(CpxRelTrsProblem.java:181)
	at aprove.CommandLineInterface.ProofExport.exportCPF(ProofExport.java:127)
	at aprove.ProofTree.Obligations.BasicObligationNode.writeCPF(BasicObligationNode.java:348)
	at aprove.CommandLineInterface.ProofExport$1.export(ProofExport.java:27)
	at aprove.CommandLineInterface.Main.main(Main.java:111)
	at aprove.Main.main(Main.java:43)
ERROR