let vars_of_simpl_adaptability_cstrs cstrs =
  List.fold_left
    (fun acc (Simpl_adaptability ((c_x, p_x), (c_y, p_y))) ->
      Word_var_set.add c_x (Word_var_set.add c_y acc))
    Word_var_set.empty cstrs