The loop invariant code motion optimization is not working on [loop_invariant_code_motion.bril](https://github.com/egraphs-good/eggcc/blob/main/tests/passing/small/peggy_comparison/loop_invariant_code_motion.bril)