pub fn simplify_mir(body: &mut Body<'_>)
MIR pass to remove instructions not important for Flowistry.
This pass helps reduce the number of intermediates during dataflow analysis, which reduces memory usage.