if (tp == Type.NoType) { thisSym = this; return this; }
    public Symbol setTypeOfThis(Type tp) {          thisSym = new TermSymbol(this.pos, Names.this_, this, SYNTHETIC);        thisSym.setInfo(tp);        return this;    }