let fprint_adaptability_cstr ff (Adaptability (w1, w2)) =
  Format.fprintf ff "@[%a@] <: @[%a@]"
    fprint_word_expr w1
    fprint_word_expr w2