let
add_field_representant fi1 fi2 =
FieldUnion
.unify fi1 fi2