method vstmt_aux = visitor#vstmt_aux