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