Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
Since we have the "for loop init rewriter" as part of the yul optimizer now, we can actually remove the handling of the complicated scoping rules in e.g. the data flow analyzer, the redundant assign eliminator and others and instead assert in those components that for loops have an empty pre block.