[wp] reformat cfg status

src/plugins/wp/cfgInfos.ml

src/plugins/wp/tests/wp/oracle/bug_rte.res.oracle

src/plugins/wp/tests/wp/oracle/cfg_loop.res.oracle

src/plugins/wp/tests/wp/oracle/cfg_loop_deps.res.oracle

...lugins/wp/tests/wp/oracle/default-stmt-assigns.res.oracle

src/plugins/wp/tests/wp/oracle/sharing.res.oracle

...gins/wp/tests/wp/oracle/stmtcompiler_test_rela.res.oracle

src/plugins/wp/tests/wp/oracle/wp_behav.res.oracle

src/plugins/wp/tests/wp/oracle/wp_behavior.0.res.oracle

src/plugins/wp/tests/wp/oracle/wp_behavior.1.res.oracle

src/plugins/wp/tests/wp/oracle/wp_eqb.res.oracle

src/plugins/wp/tests/wp/oracle/wp_strategy.0.res.oracle

src/plugins/wp/tests/wp/oracle_qualif/cfg_loop.res.oracle

...wp/tests/wp/oracle_qualif/default-stmt-assigns.res.oracle

src/plugins/wp/tests/wp/oracle_qualif/sharing.res.oracle

...ns/wp/tests/wp/oracle_qualif/stmtcompiler_test.res.oracle

.../tests/wp/oracle_qualif/stmtcompiler_test_rela.res.oracle

src/plugins/wp/tests/wp/oracle_qualif/wp_behav.0.res.oracle

src/plugins/wp/tests/wp/oracle_qualif/wp_eqb.res.oracle

src/plugins/wp/tests/wp/oracle_qualif/wp_strategy.res.oracle