let samplers c_n cstrs = List.fold_left (fun acc (Simpl_adaptability ((c_x, p_x), (c_y, p_y))) -> let acc = if c_x = c_n then p_x :: acc else acc in if c_y = c_n then p_y :: acc else acc) [] cstrs