method vglob_aux = visitor#vglob_aux