cross edge

cross edge: let be a back edge directed from to . the edge crosses (called a cross edge) if is an ascendant of and is a descendant of (and of )