File "tests/flow/missing_exit.smt2", <location missing>:
Error Missing exit statement