let fprint_integer_var ff var =
  match var with
  | Size c_n ->
      Format.fprintf ff "|%a.v|" fprint_word_var c_n
  | Iof (c_n, j) ->
      Format.fprintf ff "I_{%a}(%i)" fprint_word_var c_n j