diff --git a/src/plugins/report/tests/report/oracle/classify.0.res.oracle b/src/plugins/report/tests/report/oracle/classify.0.res.oracle
index e6166cb1e51388de3dc157ff7e3e31de66411abc..19736779d85ba768232aea163a2f5fbf79a7661d 100644
--- a/src/plugins/report/tests/report/oracle/classify.0.res.oracle
+++ b/src/plugins/report/tests/report/oracle/classify.0.res.oracle
@@ -5,8 +5,8 @@
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
 [wp] 2 goals scheduled
-[wp] [Qed] Goal typed_f_assigns : Valid
-[wp] [Qed] Goal typed_f_ensures : Valid
+[wp] [Valid] typed_f_assigns (Qed)
+[wp] [Valid] typed_f_ensures (Qed)
 [wp] Proved goals:    2 / 2
   Qed:             2
 [report] Classification
diff --git a/src/plugins/report/tests/report/oracle/classify.1.res.oracle b/src/plugins/report/tests/report/oracle/classify.1.res.oracle
index 0d9e671f1db5f856025e0a5ca5ac7c9859b92f7a..4f8eb215841da65439aa11c96adeb13ce3819b1d 100644
--- a/src/plugins/report/tests/report/oracle/classify.1.res.oracle
+++ b/src/plugins/report/tests/report/oracle/classify.1.res.oracle
@@ -6,8 +6,8 @@
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
 [wp] 2 goals scheduled
-[wp] [Qed] Goal typed_f_assigns : Valid
-[wp] [Qed] Goal typed_f_ensures : Valid
+[wp] [Valid] typed_f_assigns (Qed)
+[wp] [Valid] typed_f_ensures (Qed)
 [wp] Proved goals:    2 / 2
   Qed:             2
 [report] Classification
diff --git a/src/plugins/report/tests/report/oracle/classify.2.res.oracle b/src/plugins/report/tests/report/oracle/classify.2.res.oracle
index 43a0913a194240bffb3ae047d313681d4c1d80fe..2393e02477ba959ab4f11fbf388c9ef3f4650c29 100644
--- a/src/plugins/report/tests/report/oracle/classify.2.res.oracle
+++ b/src/plugins/report/tests/report/oracle/classify.2.res.oracle
@@ -6,8 +6,8 @@
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
 [wp] 2 goals scheduled
-[wp] [Qed] Goal typed_f_assigns : Valid
-[wp] [Qed] Goal typed_f_ensures : Valid
+[wp] [Valid] typed_f_assigns (Qed)
+[wp] [Valid] typed_f_ensures (Qed)
 [wp] Proved goals:    2 / 2
   Qed:             2
 [report] Classification
diff --git a/src/plugins/report/tests/report/oracle/classify.3.res.oracle b/src/plugins/report/tests/report/oracle/classify.3.res.oracle
index 3e2df0958b0c5d9e9d0fa49052101359bbff8528..897c0360e1b3a07d660ede14e1669a5cec6d2434 100644
--- a/src/plugins/report/tests/report/oracle/classify.3.res.oracle
+++ b/src/plugins/report/tests/report/oracle/classify.3.res.oracle
@@ -7,8 +7,8 @@
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
 [wp] 2 goals scheduled
-[wp] [Qed] Goal typed_f_assigns : Valid
-[wp] [Qed] Goal typed_f_ensures : Valid
+[wp] [Valid] typed_f_assigns (Qed)
+[wp] [Valid] typed_f_ensures (Qed)
 [wp] Proved goals:    2 / 2
   Qed:             2
 [report] Classification
diff --git a/src/plugins/report/tests/report/oracle/classify.4.res.oracle b/src/plugins/report/tests/report/oracle/classify.4.res.oracle
index 70a9452ce0649cfe4d654925986c18dd8ea4bb31..359e58337cef3544cf608d17caba12a89ee78023 100644
--- a/src/plugins/report/tests/report/oracle/classify.4.res.oracle
+++ b/src/plugins/report/tests/report/oracle/classify.4.res.oracle
@@ -7,8 +7,8 @@
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
 [wp] 2 goals scheduled
-[wp] [Qed] Goal typed_f_assigns : Valid
-[wp] [Qed] Goal typed_f_ensures : Valid
+[wp] [Valid] typed_f_assigns (Qed)
+[wp] [Valid] typed_f_ensures (Qed)
 [wp] Proved goals:    2 / 2
   Qed:             2
 [report] Classification