[kernel] Update Property to use a Set for the complete and disjoint behaviors

src/kernel_services/ast_data/property.ml

src/kernel_services/ast_data/property.mli

src/kernel_services/ast_printing/description.ml

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_qualif/wp_behav.0.res.oracle

...tests/wp_gallery/oracle/frama_c_hashtbl_solved.res.oracle

...p_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle

src/plugins/wp/wpPropId.ml