[wp] Update somes scripts due to variables generated by initialized

...c_hashtbl_solved.0.session/script/init_assigns_part3.json

...in/oracle_qualif/unsigned.0.session/script/lemma_U32.json

...t.1.session/script/init_t2_bis_v2_assigns_exit_part2.json

...1.session/script/init_t2_bis_v2_assigns_normal_part2.json

...t.1.session/script/init_t2_bis_v2_loop_assigns_part2.json

...t.1.session/script/init_t2_bis_v2_loop_assigns_part3.json