let string_of_logic _ = failwith "no logic selection in yices"