} else {
if (argument.isReceiver()) {
this.scribe.space();
NameReference qualifyingName = ((Receiver) argument).qualifyingName;
if (qualifyingName != null) {
qualifyingName.traverse(this, scope);
this.scribe.printNextToken(TerminalTokens.TokenNameDOT, false);
}
this.scribe.printNextToken(TerminalTokens.TokenNamethis, false);
} else {
/*