crash when using option --trace

[SimpleXiaohu]

Used command:

./bin/catra solve-satisfy --trace --backend lazy regression.par

Output:

==== regression.par error: Internal exception: scala.MatchError: RemoveFacts((Connected_1092004553(all_1_0, 0))) (of class ap.proof.theoryPlugins.Plugin$RemoveFacts) ====
ap.api.SimpleAPI$SimpleAPIForwardedException: Internal exception: scala.MatchError: RemoveFacts((Connected_1092004553(all_1_0, 0))) (of class ap.proof.theoryPlugins.Plugin$RemoveFacts)
        at ap.api.SimpleAPI.evalProverResult(SimpleAPI.scala:2133)
        at ap.api.SimpleAPI.getStatusHelp(SimpleAPI.scala:2092)
        at ap.api.SimpleAPI.getStatus(SimpleAPI.scala:2082)
        at uuverifiers.catra.PrincessBasedBackend.checkSatWithRestarts(PrincessBasedBackend.scala:69)
        at uuverifiers.catra.PrincessBasedBackend.checkSat(PrincessBasedBackend.scala:56)
        at uuverifiers.catra.PrincessBasedBackend.checkSolutions(PrincessBasedBackend.scala:80)
        at uuverifiers.catra.PrincessBasedBackend.$anonfun$solveSatisfy$1(PrincessBasedBackend.scala:101)
        at uuverifiers.catra.CommandLineOptions.withProver(CommandLineOptions.scala:63)
        at uuverifiers.catra.PrincessBasedBackend.solveSatisfy(PrincessBasedBackend.scala:98)
        at uuverifiers.catra.PrincessBasedBackend.solveSatisfy$(PrincessBasedBackend.scala:96)
        at uuverifiers.catra.LazyBackend.solveSatisfy(LazyBackend.scala:12)
        at uuverifiers.catra.SolveRegisterAutomata$.runInstance(SolveRegisterAutomata.scala:93)
        at uuverifiers.catra.SolveRegisterAutomata$.$anonfun$runInstances$3(SolveRegisterAutomata.scala:109)
        at uuverifiers.catra.SolveRegisterAutomata$.$anonfun$runInstances$1(SolveRegisterAutomata.scala:53)
        at uuverifiers.catra.SolveRegisterAutomata$.$anonfun$runInstances$1$adapted(SolveRegisterAutomata.scala:98)
        at scala.collection.immutable.List.foreach(List.scala:333)
        at uuverifiers.catra.SolveRegisterAutomata$.runInstances(SolveRegisterAutomata.scala:98)
        at uuverifiers.catra.SolveRegisterAutomata$.delayedEndpoint$uuverifiers$catra$SolveRegisterAutomata$1(SolveRegisterAutomata.scala:124)
        at uuverifiers.catra.SolveRegisterAutomata$delayedInit$body.apply(SolveRegisterAutomata.scala:48)
        at scala.Function0.apply$mcV$sp(Function0.scala:39)
        at scala.Function0.apply$mcV$sp$(Function0.scala:39)
        at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
        at scala.App.$anonfun$main$1(App.scala:76)
        at scala.App.$anonfun$main$1$adapted(App.scala:76)
        at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:563)
        at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:561)
        at scala.collection.AbstractIterable.foreach(Iterable.scala:926)
        at scala.App.main(App.scala:76)
        at scala.App.main$(App.scala:74)
        at uuverifiers.catra.SolveRegisterAutomata$.main(SolveRegisterAutomata.scala:48)
        at uuverifiers.catra.SolveRegisterAutomata.main(SolveRegisterAutomata.scala)
Caused by: scala.MatchError: RemoveFacts((Connected_1092004553(all_1_0, 0))) (of class ap.proof.theoryPlugins.Plugin$RemoveFacts)
        at uuverifiers.parikh_theory.TracingComputation.actionToTex(TracingComputation.scala:48)
        at uuverifiers.parikh_theory.TracingComputation.$anonfun$actionHook$3(TracingComputation.scala:94)
        at scala.collection.immutable.List.map(List.scala:246)
        at scala.collection.immutable.List.map(List.scala:79)
        at uuverifiers.parikh_theory.TracingComputation.$anonfun$actionHook$2(TracingComputation.scala:94)
        at uuverifiers.parikh_theory.TracingComputation.actionHook(TracingComputation.scala:87)
        at uuverifiers.parikh_theory.TracingComputation.actionHook$(TracingComputation.scala:74)
        at uuverifiers.catra.LazyBackend$$anon$2.actionHook(LazyBackend.scala:94)
        at uuverifiers.parikh_theory.TracingComputation.$anonfun$actionHooks$1(TracingComputation.scala:101)
        at uuverifiers.parikh_theory.TracingComputation.$anonfun$actionHooks$1$adapted(TracingComputation.scala:101)
        at uuverifiers.parikh_theory.ParikhTheory.$anonfun$runHooks$1(ParikhTheory.scala:123)
        at uuverifiers.parikh_theory.ParikhTheory.$anonfun$runHooks$1$adapted(ParikhTheory.scala:122)
        at scala.collection.immutable.List.foreach(List.scala:333)
        at uuverifiers.parikh_theory.ParikhTheory.runHooks(ParikhTheory.scala:122)
        at uuverifiers.parikh_theory.ParikhTheory.runHooks$(ParikhTheory.scala:117)
        at uuverifiers.parikh_theory.RegisterCounting.runHooks(RegisterCounting.scala:11)
        at uuverifiers.parikh_theory.MonoidMapPlugin.handleConnectedInstance(MonoidMapPlugin.scala:207)
        at uuverifiers.parikh_theory.MonoidMapPlugin.$anonfun$handleConnectedInstances$1(MonoidMapPlugin.scala:155)
        at scala.collection.StrictOptimizedIterableOps.flatMap(StrictOptimizedIterableOps.scala:118)
        at scala.collection.StrictOptimizedIterableOps.flatMap$(StrictOptimizedIterableOps.scala:105)
        at scala.collection.immutable.Vector.flatMap(Vector.scala:113)
        at uuverifiers.parikh_theory.MonoidMapPlugin.handleConnectedInstances(MonoidMapPlugin.scala:155)
        at uuverifiers.parikh_theory.MonoidMapPlugin.$anonfun$handlePredicateInstance$1(MonoidMapPlugin.scala:71)
        at ap.proof.theoryPlugins.TheoryProcedure$RichActionSeq.elseDo(Plugin.scala:189)
        at uuverifiers.parikh_theory.MonoidMapPlugin.handlePredicateInstance(MonoidMapPlugin.scala:71)
        at uuverifiers.parikh_theory.PredicateHandlingProcedure.$anonfun$handleGoal$1(PrincessHelpers.scala:63)
        at scala.collection.StrictOptimizedIterableOps.flatMap(StrictOptimizedIterableOps.scala:118)
        at scala.collection.StrictOptimizedIterableOps.flatMap$(StrictOptimizedIterableOps.scala:105)
        at scala.collection.immutable.Vector.flatMap(Vector.scala:113)
        at uuverifiers.parikh_theory.PredicateHandlingProcedure.handleGoal(PrincessHelpers.scala:63)
        at uuverifiers.parikh_theory.PredicateHandlingProcedure.handleGoal$(PrincessHelpers.scala:58)
        at uuverifiers.parikh_theory.MonoidMapPlugin.handleGoal(MonoidMapPlugin.scala:22)
        at ap.proof.theoryPlugins.PluginTask.apply(Plugin.scala:424)
        at ap.proof.goal.Goal.step(Goal.scala:421)
        at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:486)
        at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:549)
        at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:495)
        at ap.proof.ModelSearchProver$IncProverImpl.checkValidityDir(ModelSearchProver.scala:1108)
        at ap.api.ProofThreadRunnable$$anonfun$1.$anonfun$applyOrElse$2(ProofThread.scala:154)
        at ap.util.Timeout$.catchTimeout(Timeout.scala:100)
        at ap.api.ProofThreadRunnable$$anonfun$1.applyOrElse(ProofThread.scala:155)
        at scala.runtime.AbstractPartialFunction.apply(AbstractPartialFunction.scala:35)
        at ap.api.ProofThreadRunnable.$anonfun$run$2(ProofThread.scala:210)
        at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)
        at scala.util.DynamicVariable.withValue(DynamicVariable.scala:59)
        at ap.util.Timeout$.withChecker(Timeout.scala:56)
        at ap.api.ProofThreadRunnable.run(ProofThread.scala:200)
        at java.base/java.lang.Thread.run(Thread.java:831)