It makes the FORWARD-ANALYSIS: and BACKWARD-ANALYSIS: functors less magical if the generated singletons name is the same as in the syntax.