[abc] bug in TM codegen?

Hi.

I found something that looks a lot like a bug in the code generation. First I thought it was me doing something silly but the same happens in the main abc branch, too.

If I just compile the attached tracematch with the abc standard options, and then run ASyncIteration, I get the following exception:

mucuna ~/workspaces/abc/Test/out $ java -cp .:../../abc-tmopt/lib/abc-runtime.jar ASyncIteration
Exception in thread "main" java.lang.NullPointerException
        at Constraint$tracematch$0.lookup1(Jasmin)
        at Constraint$tracematch$0.queue(Jasmin)
        at ASyncIteration$SyncCheck.afterReturning$1(ASyncIteration.java)
        at ASyncIteration.main(ASyncIteration.java:18)

This happens regardless of whether indexing is enabled or disabled, so I assume that the bug is in ASyncIteration and not in the conjuct or disjunct class.

I have the generated jimple attached. It would be great if you guys could look into this ASAP because it prevents some of my benchmarks from running.

Cheers,
Eric

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