let reprs =
           List.fold_left
             (fun acc m ->
               List.fold_left
                 (fun acc o ->
                   List.fold_left
                     (fun acc z -> (m, (Some o, m), z, z) :: acc)
                     acc
                     Locations.Zone.reprs)
                 acc
                 V_Offsetmap.reprs)
             []
             Relations_type.Model.reprs