if (visitedSIROps.get(className) != null) at.dms.util.Utils.fail("Duplicate Definition of " + className);
    private void addVisitedOp(String className, SIROperator sirop) {	visitedSIROps.put(className, sirop);    }