public String getUserOpName(int index) {
		String name = pcodelanguage.getUserDefinedOpName(index);
		return name;
	}
Get the name of a user op given its index
@param index is the given index
@return the userop name or null
Ghidra/Features/Decompiler/src/main/java/ghidra/app/decompiler/DecompileCallback.java