Crashes when attempting `eqwalize-all` on the Khepri project

[mkuratczyk]

ELP/eqwalizer crashes when attempting eqwalize-all on the Khepri project:

ELP version: 2025-05-13

Reproduction steps

> git clone https://github.com/rabbitmq/khepri/
> cd khepri
> elp eqwalize-all

[ ...redacted to avoid progress bars messing up formatting... ]

Exception in thread "main" java.util.NoSuchElementException: key not found: dedups
	at scala.collection.immutable.BitmapIndexedMapNode.apply(HashMap.scala:674)
	at scala.collection.immutable.HashMap.apply(HashMap.scala:132)
	at com.whatsapp.eqwalizer.tc.Occurrence.typePathRef$$anonfun$5(Occurrence.scala:1074)
	at scala.Option.map(Option.scala:242)
	at com.whatsapp.eqwalizer.tc.Occurrence.typePathRef(Occurrence.scala:1074)
	at com.whatsapp.eqwalizer.tc.Occurrence.typePathRef$$anonfun$4(Occurrence.scala:1068)
	at scala.collection.StrictOptimizedIterableOps.map(StrictOptimizedIterableOps.scala:100)
	at scala.collection.StrictOptimizedIterableOps.map$(StrictOptimizedIterableOps.scala:87)
	at scala.collection.immutable.Set$Set2.map(Set.scala:192)
	at com.whatsapp.eqwalizer.tc.Occurrence.typePathRef(Occurrence.scala:1068)
	at com.whatsapp.eqwalizer.tc.Occurrence.$anonfun$34(Occurrence.scala:970)
	at scala.collection.immutable.List.map(List.scala:247)
	at com.whatsapp.eqwalizer.tc.Occurrence.batchSelect$$anonfun$1(Occurrence.scala:970)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
	at scala.collection.immutable.Set$Set2.foreach(Set.scala:210)
	at com.whatsapp.eqwalizer.tc.Occurrence.batchSelect(Occurrence.scala:965)
	at com.whatsapp.eqwalizer.tc.Occurrence.clausesEnvs(Occurrence.scala:330)
	at com.whatsapp.eqwalizer.tc.Check.checkFun(Check.scala:38)
	at com.whatsapp.eqwalizer.Pipeline$.checkFun(Pipeline.scala:79)
	at com.whatsapp.eqwalizer.Pipeline$.checkForms$$anonfun$1(Pipeline.scala:44)
	at scala.collection.immutable.List.foreach(List.scala:334)
	at com.whatsapp.eqwalizer.Pipeline$.checkForms(Pipeline.scala:34)
	at com.whatsapp.eqwalizer.util.ELPDiagnostics$.getDiagnostics(ELPDiagnostics.scala:58)
	at com.whatsapp.eqwalizer.util.ELPDiagnostics$.getDiagnosticsIpc$$anonfun$1(ELPDiagnostics.scala:47)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
	at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:619)
	at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:617)
	at scala.collection.AbstractIterable.foreach(Iterable.scala:935)
	at com.whatsapp.eqwalizer.util.ELPDiagnostics$.getDiagnosticsIpc(ELPDiagnostics.scala:44)
	at com.whatsapp.eqwalizer.Main$.ipc(Main.scala:28)
	at com.whatsapp.eqwalizer.Main$.main(Main.scala:21)
	at com.whatsapp.eqwalizer.Main.main(Main.scala)
  EqWAlizing                ████████████████████ 22/22                                                                          Could not eqwalize: eqWAlizing module khepri_machine:
parsing for eqwalizer: ""

[ilya-klyuchnikov]

thanks for the report