It appears that the two loops in PhaseMacroExpand::eliminate_macro_nodes could potentially be fused. However, there may be dependencies (specifically, allocations referenced in locks) which would prevent elimination if locks are still present in the graph.

We need to determine whether loop fusion is safe in this context:

- If the loops can be fused, extensive testing should be conducted to ensure that no regressions arise.
- If the loops are indeed dependent, a test case should be added to demonstrate that keeping them separate is necessary.