[WP/tests] updates an oracle

src/plugins/wp/tests/wp_plugin/string_c.c.0.report.json

@@ -36,12 +36,12 @@
                                 "memcpy_loop_assigns": { "alt-ergo": 
                                                            { "total": 1,
                                                              "valid": 1,
-                                                             "rank": 40 },
+                                                             "rank": 43 },
                                                          "qed": { "total": 2,
                                                                   "valid": 2 },
                                                          "wp:main": { "total": 3,
                                                                     "valid": 3,
-                                                                    "rank": 40 } },
+                                                                    "rank": 43 } },
                                 "memcpy_ensures_result_ptr": { "qed": 
                                                                  { "total": 1,
                                                                    "valid": 1 },