Merge branch 'feature/andre/pif-reduce' into 'master'

synchronize with frama-c/frama-c!1104

See merge request !102

src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle

@@ -7,5 +7,3 @@ tests/bts/bts1307.i:11:[e-acsl] warning: approximating a real number by a float
 [e-acsl] translation done in project "e-acsl".
 FRAMAC_SHARE/e-acsl/e_acsl.h:43:[value] warning: function __e_acsl_assert: precondition got status unknown.
 [value] user error: type long double not implemented. Using double instead
-tests/bts/bts1307.i:23:[value] warning: function bar, behavior UnderEstimate_Motoring: postcondition got status unknown.
-tests/bts/bts1307.i:23:[value] warning: function __gen_e_acsl_bar, behavior UnderEstimate_Motoring: postcondition got status unknown.

src/plugins/e-acsl/tests/runtime/oracle/lazy.res.oracle

 [e-acsl] beginning translation.
 FRAMAC_SHARE/libc/stdlib.h:276:[kernel] warning: No code nor implicit assigns clause for function calloc, generating default assigns from the prototype
 [e-acsl] translation done in project "e-acsl".
-tests/runtime/lazy.i:15:[value] warning: assertion got status unknown.
-tests/runtime/lazy.i:16:[value] warning: assertion got status unknown.
-tests/runtime/lazy.i:17:[value] warning: assertion got status unknown.