Aborted 1784905682Exec. 226, QDPNonLoop with some error. Reason: java.lang.NullPointerException: Cannot invoke "aprove.verification.dpframework.Utility.NonLoop.structures.proofed.ProofedRule.getPatternRule()" because "lr" is null.
            aprove.verification.dpframework.Utility.NonLoop.NonLoopSearch.heuristics.SimplifyMuHeuristic.simplify(SimplifyMuHeuristic.java:47)
            aprove.verification.dpframework.Utility.NonLoop.NonLoopSearch.IterativeDeepeningNonLoopSearch.findNonLoop(IterativeDeepeningNonLoopSearch.java:231)
            aprove.verification.dpframework.DPProblem.Processors.QDPNonLoopProcessor.processQDPProblem(QDPNonLoopProcessor.java:81)
            aprove.verification.dpframework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
            aprove.strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
            aprove.strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
            aprove.strategies.Abortions.PooledJob.run(PooledJob.java:99)
            aprove.strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
            java.base/java.lang.Thread.run(Thread.java:1474)
java.lang.NullPointerException: Cannot invoke "aprove.verification.dpframework.Utility.NonLoop.structures.proofed.ProofedRule.getPatternRule()" because "lr" is null
	at aprove.verification.dpframework.Utility.NonLoop.NonLoopSearch.heuristics.SimplifyMuHeuristic.simplify(SimplifyMuHeuristic.java:47)
	at aprove.verification.dpframework.Utility.NonLoop.NonLoopSearch.IterativeDeepeningNonLoopSearch.findNonLoop(IterativeDeepeningNonLoopSearch.java:231)
	at aprove.verification.dpframework.DPProblem.Processors.QDPNonLoopProcessor.processQDPProblem(QDPNonLoopProcessor.java:81)
	at aprove.verification.dpframework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
	at aprove.strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
	at aprove.strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
	at aprove.strategies.Abortions.PooledJob.run(PooledJob.java:99)
	at aprove.strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274)
	at java.base/java.lang.Thread.run(Thread.java:1474)
