case Terminals.THIS: checks for inherited varformal, inherited attribute, if it's in the current stack