code: public String getUniqueInternalName(String baseName) {
  		int counter = 0;
  		String candidate = baseName;
  		while (usedNames.contains(candidate)) {
  			candidate = baseName + STATE_NAME_DELIM + counter++;
  		}
  		usedNames.add(candidate);
  		return candidate;
  	}
docs: Used to give a unique name to {@link org.apache.flink.cep.nfa.NFA} states
  created during the translation process. The name format will be
  {@code baseName:counter} , where the counter is increasing for states with
  the same {@code baseName}.
  
  @param baseName The base of the name.
  @return The (unique) name that is going to be used internally for the state.