method vquantifiers = visitor#vquantifiers