method vrooted_code_annotation = visitor#vrooted_code_annotation