pub fn barrier_segments(body: &[Op]) -> Result<Vec<Vec<Op>>>
Split a top-level body into barrier-separated segments (Ret stripped from last).