[tests] update outdated dev oracles

src/plugins/e-acsl/tests/constructs/oracle_dev/false.res.oracle

-[kernel] Parsing tests/language_constructs/false.i (no preprocessing)
+[kernel] Parsing tests/constructs/false.i (no preprocessing)

src/plugins/e-acsl/tests/constructs/oracle_dev/function_contract.res.oracle

-[kernel] Parsing tests/language_constructs/function_contract.i (no preprocessing)
+[kernel] Parsing tests/constructs/function_contract.i (no preprocessing)

src/plugins/e-acsl/tests/constructs/oracle_dev/ghost.res.oracle

-[kernel] Parsing tests/language_constructs/ghost.i (no preprocessing)
+[kernel] Parsing tests/constructs/ghost.i (no preprocessing)

src/plugins/e-acsl/tests/constructs/oracle_dev/invariant.res.oracle

-[kernel] Parsing tests/language_constructs/invariant.i (no preprocessing)
+[kernel] Parsing tests/constructs/invariant.i (no preprocessing)

src/plugins/e-acsl/tests/constructs/oracle_dev/labeled_stmt.res.oracle

-[kernel] Parsing tests/language_constructs/labeled_stmt.i (no preprocessing)
+[kernel] Parsing tests/constructs/labeled_stmt.i (no preprocessing)

src/plugins/e-acsl/tests/constructs/oracle_dev/lazy.res.oracle

-[kernel] Parsing tests/language_constructs/lazy.i (no preprocessing)
+[kernel] Parsing tests/constructs/lazy.i (no preprocessing)

src/plugins/e-acsl/tests/constructs/oracle_dev/loop.res.oracle

-[kernel] Parsing tests/language_constructs/loop.i (no preprocessing)
+[kernel] Parsing tests/constructs/loop.i (no preprocessing)

src/plugins/e-acsl/tests/constructs/oracle_dev/nested_code_annot.res.oracle

-[kernel] Parsing tests/language_constructs/nested_code_annot.i (no preprocessing)
+[kernel] Parsing tests/constructs/nested_code_annot.i (no preprocessing)

src/plugins/e-acsl/tests/constructs/oracle_dev/result.res.oracle

-[kernel] Parsing tests/language_constructs/result.i (no preprocessing)
+[kernel] Parsing tests/constructs/result.i (no preprocessing)

src/plugins/e-acsl/tests/constructs/oracle_dev/stmt_contract.res.oracle

-[kernel] Parsing tests/language_constructs/stmt_contract.i (no preprocessing)
+[kernel] Parsing tests/constructs/stmt_contract.i (no preprocessing)

src/plugins/e-acsl/tests/constructs/oracle_dev/true.res.oracle

-[kernel] Parsing tests/language_constructs/true.i (no preprocessing)
+[kernel] Parsing tests/constructs/true.i (no preprocessing)

src/plugins/e-acsl/tests/constructs/oracle_dev/typedef.res.oracle

-[kernel] Parsing tests/language_constructs/typedef.i (no preprocessing)
+[kernel] Parsing tests/constructs/typedef.i (no preprocessing)