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