private static String getUniqueReplacementParameterName(SymbolTable symbolTable,
			Function function, String name, Set<String> namesNotToBeUsed) {
		if (name == null || SymbolUtilities.isDefaultParameterName(name)) {
			return name;
		}
		return getUniqueNameIgnoringCurrentParameters(symbolTable, function, name,
			namesNotToBeUsed);
	}
Get a unique parameter name for a parameter when all parameter names are being replaced.
If the specified name is  a default parameter name then the original default name passed
in is returned.
@param symbolTable the symbol table containing symbols for the indicated namespace
@param namespace the namespace containing symbol names to check.
@param baseName the base name to append with an integer number if necessary
to create a unique name.
@param namesNotToBeUsed set of names that should not be used when determining a unique name.
@return a unique parameter name
Ghidra/Features/Base/src/main/java/ghidra/program/util/FunctionUtility.java