pub fn loop_forest_post_order<F>( loop_forest: &mut LoopForest, f: F, ) -> Result<()>where F: FnMut(LoopPtr) -> Result<()>,