docs: public Set<Terminal> get(Construction construction) {
  	if (construction.isTerminal()) {
  	    Set<Terminal> result = new LinkedHashSet<Terminal>();
  	    result.add((Terminal) construction);
  	    return result;
  	}
  	return firstGrammar.get(construction.getName());
      }