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.