The optimizers need to associate attributes with variables during the
optimization process. For instance, we need to know whether a
variable has aliases. All these attributes are stored in data
structures called annotations which are then linked to the field
Presently, we define annotations for variables (
Annotations are defined and documented in tree-flow.h.