[aorai] add an explicit rejecting state for deterministic automata

src/plugins/aorai/aorai_utils.ml

src/plugins/aorai/data_for_aorai.ml

src/plugins/aorai/data_for_aorai.mli

src/plugins/aorai/tests/ya/oracle/assigns.1.res.oracle

...lugins/aorai/tests/ya/oracle/declared_function.res.oracle

src/plugins/aorai/tests/ya/oracle/deterministic.res.oracle

src/plugins/aorai/tests/ya/oracle/formals.res.oracle

src/plugins/aorai/tests/ya/oracle/incorrect.res.oracle

...gins/aorai/tests/ya/oracle/metavariables-right.res.oracle

src/plugins/aorai/tests/ya/oracle/monostate.res.oracle

src/plugins/aorai/tests/ya/oracle/saveload.res.1.log

src/plugins/aorai/tests/ya/oracle/serial.res.oracle

...s/aorai/tests/ya/oracle/singleassignment-right.res.oracle

src/plugins/aorai/tests/ya/oracle/stack.res.oracle

.../aorai/tests/ya/oracle_prove/declared_function.res.oracle

src/plugins/aorai/tests/ya/oracle_prove/incorrect.res.oracle

src/plugins/aorai/tests/ya/oracle_prove/serial.res.oracle

src/plugins/aorai/tests/ya/serial_wp.ya