Added test that triggers assertion during loop inversion.
Verifier complains about wrong graph property.
Compiler segfaults during mode_b lowering.