[aorai] add missing requires for pre-funcs

src/plugins/aorai/aorai_utils.ml

src/plugins/aorai/tests/aorai/oracle/assigns.0.res.oracle

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

src/plugins/aorai/tests/aorai/oracle/bts1289.0.res.oracle

src/plugins/aorai/tests/aorai/oracle/bts1289.1.res.oracle

...ins/aorai/tests/aorai/oracle/declared_function.res.oracle

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

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

...ai/tests/aorai/oracle/generate_assigns_bts1290.res.oracle

src/plugins/aorai/tests/aorai/oracle/goto.res.oracle

src/plugins/aorai/tests/aorai/oracle/hoare_seq.res.oracle

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

src/plugins/aorai/tests/aorai/oracle/loop_bts1050.res.oracle

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

src/plugins/aorai/tests/aorai/oracle/not_prm.res.oracle

src/plugins/aorai/tests/aorai/oracle/other.res.oracle

src/plugins/aorai/tests/aorai/oracle/seq.res.oracle

src/plugins/aorai/tests/aorai/oracle/seq_loop.res.oracle

src/plugins/aorai/tests/aorai/oracle/single_call.res.oracle

...ins/aorai/tests/aorai/oracle/test_acces_params.res.oracle