name.append("_");
    private void addName(SIROperator str) {	StringBuffer name = new StringBuffer();	// start name with list of positions, e.g. 1_2_1_	for (ListIterator e = namePrefix.listIterator(); e.hasNext(); ) {	    name.append(e.next());	    name.append("_");	}	// end name with the class of the IR object	name.append(splitQualifiedName(str.getClass().toString(), '.')[1]);	// associate name with <str>	names.put(str, name.toString());    }