let print_bool3 fmt b =
  Format.pp_print_string fmt 
    (match b with
      | True -> "True"
      | False -> "False"
      | Undefined -> "Undef")