Running Thread.stop() against 1784905479Exec. 231, QDPInstantiation[Limit=2]
Stack trace:
    immutables.ImmutableIterator.hasNext(ImmutableIterator.java:54)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:288)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSFunctionApplication.collectVariables(TRSFunctionApplication.java:289)
    aprove.verification.dpframework.BasicStructures.TRSTerm.getVariables(TRSTerm.java:602)
    aprove.verification.dpframework.BasicStructures.TRSTerm.checkVariablePrefix(TRSTerm.java:224)
    aprove.verification.dpframework.DPProblem.QUsableRules.addDPEdges(QUsableRules.java:640)
    aprove.verification.dpframework.DPProblem.QUsableRules.addDPEdges(QUsableRules.java:658)
    aprove.verification.dpframework.DPProblem.QUsableRules.addDPEdges(QUsableRules.java:658)
    aprove.verification.dpframework.DPProblem.QUsableRules.addDPEdges(QUsableRules.java:658)
    aprove.verification.dpframework.DPProblem.QUsableRules.addDPEdges(QUsableRules.java:658)
    aprove.verification.dpframework.DPProblem.QUsableRules.addDPEdges(QUsableRules.java:658)
    aprove.verification.dpframework.DPProblem.QUsableRules.addDPEdges(QUsableRules.java:658)
    aprove.verification.dpframework.DPProblem.QUsableRules.addDPEdges(QUsableRules.java:658)
    aprove.verification.dpframework.DPProblem.QUsableRules.addDPEdges(QUsableRules.java:658)
    aprove.verification.dpframework.DPProblem.QUsableRules.addDPEdges(QUsableRules.java:658)
    aprove.verification.dpframework.DPProblem.QUsableRules.addDPEdges(QUsableRules.java:658)
    aprove.verification.dpframework.DPProblem.QUsableRules.addDPEdges(QUsableRules.java:658)
    aprove.verification.dpframework.DPProblem.QUsableRules.addDP(QUsableRules.java:575)
    aprove.verification.dpframework.DPProblem.QUsableRules.getCappedDP(QUsableRules.java:595)
    aprove.verification.dpframework.DPProblem.QDependencyGraph.calculateConnection(QDependencyGraph.java:436)
    aprove.verification.dpframework.DPProblem.QDependencyGraph.getTransformedGraph(QDependencyGraph.java:326)
    aprove.verification.dpframework.DPProblem.QDPProblem.getTransformedProblem(QDPProblem.java:350)
    aprove.verification.dpframework.DPProblem.Processors.QDPTransformationProcessor.processQDPProblem(QDPTransformationProcessor.java:83)
    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)
