Added support for Z3's "unknown" results.