is slightly larger for the NOTRANS-FORM grammar, since the empty-reachable set is nonempty.
note that even for NOTRANSFORM, the largest SCC is smaller than the empty-reachable set, since empties provide direct entry into some of the lower SCCs, in particular because of WH-gaps.