Table 3: The transformation add_reference adds a reference to its type.