AssertionError at ModelFinder.scala:197

[rainoftime]

Hi, for this formula
197.txt

Eldaricat f817bc3

Theories: GroebnerMultiplication, ModuloArithmetic
Exception in thread "main" java.lang.AssertionError: assertion failed
	at scala.Predef$.assert(Predef.scala:156)
	at ap.terfor.arithconj.ReducableModelElement.extendModel(ModelFinder.scala:197)
	at ap.terfor.arithconj.ModelElement$$anonfun$constructModel$1.apply(ModelFinder.scala:55)
	at ap.terfor.arithconj.ModelElement$$anonfun$constructModel$1.apply(ModelFinder.scala:55)
	at scala.collection.immutable.List.foreach(List.scala:392)
	at ap.terfor.arithconj.ModelElement$.constructModel(ModelFinder.scala:55)
	at ap.proof.ModelSearchProver.extractModel$1(ModelSearchProver.scala:730)
	at ap.proof.ModelSearchProver.handleSatGoal(ModelSearchProver.scala:852)
	at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:482)
	at ap.proof.ModelSearchProver.extractModel$1(ModelSearchProver.scala:772)
	at ap.proof.ModelSearchProver.handleSatGoal(ModelSearchProver.scala:852)
	at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:482)
	at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:476)
	at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:589)
	at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:476)
	at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:476)
	at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:476)
	at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:589)
	at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:476)
	at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:476)
	at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:589)
	at ap.proof.ModelSearchProver.ap$proof$ModelSearchProver$$findModel(ModelSearchProver.scala:476)