let rec fprint_word_expr ff w =
  match w with
  | Var c -> fprint_word_var ff c
  | Pbw p -> fprint_pbw ff p
  | On (w1, w2) ->
      Format.fprintf ff "%a on %a"
        fprint_word_expr w1
        fprint_word_expr w2