Function analyze_loops 

pub fn analyze_loops(program: &BytecodeProgram) -> HashMap<usize, LoopInfo>

Analyze all loops in a bytecode program.

Scans for LoopStart/LoopEnd pairs and collects read/write sets, induction variables, and invariant locals for each loop.