method vcode_annot = visitor#vcode_annot