Integer i = nodeIds.get(f);
Integer i = opToId.get(f);
    public static int getSIROperatorId(SIROperator f) {            Integer i = nodeIds.get(f);        if (i == null) return -1;        return i.intValue();    }