12345File "tests/model/bool/false.smt2", line 2, character 0-14:2 | (assert false) ^^^^^^^^^^^^^^Error This hypothesis/assertion evaluates to false