docs: public void checkNameUniqueness(String name) {
  		if (usedNames.contains(name)) {
  			throw new MalformedPatternException("Duplicate pattern name: " + name + ". Names must be unique.");
  		}
  		usedNames.add(name);
  	}