let pp_print_logic ppf l = failwith "no logic selection in yices"