[abc] Indexing code generation broken?

Hello.

I tried to do some experiments with TMs and JHotDraw today and while doing so I realized that apparently our code generation for TMs with indexing is broken lately. When I apply our SafeEnumeration tracematch to JHotDraw and draw a few shapes, I get the following runtime error:

java.lang.RuntimeException: Disjunct.addBindingsForSymbolupdate_source got an invalid state number: paramLocal1$526

The full stack trace is attached, along with jimple versions of the generated classes. Dava unfortunately dies on the Disjunct class with the error "Body sent to be processed by StructuredAnalysis is not a valid body" - probably another indication that something is wrong there.

Since I am not very familiar with how exactly this indexing scheme works it would be great if one of the Oxford guys could have a look into this.

Thanks a lot,
Eric

--
Eric Bodden
Sable Research Group, McGill University
Montréal, Québec, Canada