Bug in code generation

There is a bug in generating the following example. link

make all for running the example.

It is a small example that reproduces JSkel partiality. The test result should be clearly false, but indeed the result is true.

I link it just because it seems too big to put it in the Description. The issue seems to be the match detection.