As a result, there is no need to distinguish floating scopal (i.e., quantifier) ETs; and hence, there is also no L q component, which in turn means that there is no designated top ET in dominance graphs.
all labels can potentially form the root of a solution.