The above definition specifies that DEP(<?>,[E]) and DEP(<?>,[S]). But it
seems like I should only be concerned with the dependencies within a
single iteration, so why have DEP(<?>,[E]) at all? Is it only an artifact
of the definition? If I change the definition so that backedges are not
permitted in P, do I shoot myself?