let simplify_synchronizability_cstr
    (Synchronizability ((c_x, p_x), (c_y, p_y))) =
  Eq ([ (nbones p_y.v, Size c_x); (- nbones p_x.v, Size c_y); ], 0)