method vvdec = visitor#vvdec