let add_inheritance_relation ty parentty =
  if TypeComparable.equal ty parentty then () else
    begin
      TypeHashtbl.add type_to_parent_type ty parentty;
      TypeUnion.unify ty parentty
    end