When computing reverse-CFG reverse-post-order, skip backedges, as