12345File "tests/flow/missing_check_sat.smt2", line 3, character 0-11:3 | (get-model) ^^^^^^^^^^^Error Forbidden statement: missing check-sat prior to this statement
