Niklas Bergmann

``` File "/home/mry/.binaryninja/plugins/dewolf/decompiler/structures/pseudo/instructions.py", line 141, in requirements return self._value.requirements AttributeError: 'NoneType' object has no attribute 'requirements' ``` seems like a lifter issue. Let me know if you can pinpoint the...

When we do not run the `CommonSubexpressionElimination` stage, the CFG looks like this when out-of-SSA has run:  As a result, we can restructure the for loop ```C int test1_b()...

If we reduce the CSE stage to existing subexpression elimination only, we can also resturcture the loop more gracefully:  ```C int test1_b() { int var_0; var_0 = 10; do...

Of course, the values checked for should not have overlapping bits, to `ci & cj = 0 foreach i, j checked`