Update aorai oracles

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

 [kernel] Parsing declared_function.i (no preprocessing)
 [kernel] Parsing TMPDIR/aorai_declared_function_0_prove.i (no preprocessing)
 [wp] Warning: Missing RTE guards
-[kernel:annot:missing-spec] TMPDIR/aorai_declared_function_0_prove.i:4: Warning: 
-  Neither code nor specification for function f,
-   generating default assigns. See -generated-spec-* options for more info

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

@@ -2,6 +2,3 @@
 [aorai] Warning: Call to main does not follow automaton's specification. This path is assumed to be dead
 [kernel] Parsing TMPDIR/aorai_incorrect_0_prove.i (no preprocessing)
 [wp] Warning: Missing RTE guards
-[kernel:annot:missing-spec] TMPDIR/aorai_incorrect_0_prove.i:6: Warning: 
-  Neither code nor specification for function f,
-   generating default assigns. See -generated-spec-* options for more info