pub fn reverse_postorder<'a, 'tcx>(
    body: &'a Body<'tcx>
) -> ReversePostorderIter<'a, 'tcx>