Usage: (validate-loop-locals analyze)
Returns a pass that validates the loop locals, calling analyze on the loop AST when a mismatched loop-local is found