12345File "tests/flow/missing_set_logic.smt2", line 1, character 0-13:1 | (assert true) ^^^^^^^^^^^^^Error Forbidden statement: missing set-logic statement prior to this one
