Three potential ambiguous cases. (A) i has several possible predecessors; (B) i has several possible successors; (C) i forms a cycle with j.