let split_adaptability_cstr (Simpl_adaptability ((c_x, p_x), (c_y, p_y))) =
  (Synchronizability ((c_x, p_x), (c_y, p_y)),
   Precedence ((c_x, p_x), (c_y, p_y)))