+/**
+ * Checks if a type already exists in the program and returns the existing
+ * type.
+ * @param type The type to check
+ * @param free_from_obst free type from type obst (only legal if nothing
+ * else was allocated since the type allocation)
+ */
+ir_type *identify_type(ir_type *type, int free_from_obst);
+