Hi,
I have just release a new version of Lava and its test suite.
This version allows the Lava code generator to be tested with and without optimisation. This isolated a few bugs in the previous version.
The next version will fix the 2 failing test cases.