code: public final String getPrefix() {
  		if ((prefix == null || prefix.isEmpty()) && (configuration != null)) {
  			prefix = configuration.getPrefix();
  		}
  		return prefix;
  	}
docs: Returns Simon prefix for constructing names of Simons.
  
  @return Simon prefix