let fprint_simpl_adaptability_cstr ff
    (Simpl_adaptability ((c_x, p_x), (c_y, p_y))) =
  Format.fprintf ff "@[%a on %a@] <: @[%a on %a@]"
    fprint_word_var c_x
    fprint_pbw p_x
    fprint_word_var c_y
    fprint_pbw p_y