pub fn preorder<'a, 'tcx>(body: &'a Body<'tcx>) -> Preorder<'a, 'tcx>Notable traits for Preorder<'a, 'tcx>impl<'a, 'tcx> Iterator for Preorder<'a, 'tcx>    type Item = (BasicBlock, &'a BasicBlockData<'tcx>);