For |P| = 1, j immediately dominates i in SDG U , hence there is a dominance edge from l q j to some node l r i ∈ T r i , where T r i is the restriction tree of l q i (Definition 13).
l r i must be in the scope of l q j in T .