public void insertSymbol(Map map) { assert checkLeftContainsNoKeyFromRight(types, map); symbols.putAll(map);
public void insertSymbol(Symbol[] keys, Symbol[] values) { assert keys.length == values.length : keys.length+" != "+values.length; for (int i = 0; i < keys.length; i++) insertSymbol(keys[i], values[i]);
    public void insertSymbol(Map map) {        assert checkLeftContainsNoKeyFromRight(types, map);        symbols.putAll(map);    }