Handle 'unknown' result from Z3 (fixes #20)