let add_field_representant fi1 fi2 =
  FieldUnion.unify fi1 fi2