public int getTileNumber(SIROperator str) { return getTile(str).getTileNumber();
public int getTileNumber(FlatNode node) { return getTile(node).getTileNumber();
    public int getTileNumber(SIROperator str) {        return getTile(str).getTileNumber();    }