+ return type1->points_to == type2->points_to &&
+ type1->base_variable == type2->base_variable;
+}
+
+static bool reference_types_equal(const reference_type_t *type1,
+ const reference_type_t *type2)
+{
+ return type1->refers_to == type2->refers_to;