[property] All identified_* from tuple to record

src/kernel_services/ast_data/property.ml

src/kernel_services/ast_data/property.mli

src/kernel_services/ast_data/property_status.ml

src/kernel_services/ast_data/statuses_by_call.ml

src/kernel_services/ast_printing/description.ml

src/kernel_services/ast_printing/printer_tag.ml

src/plugins/gui/design.ml

src/plugins/gui/pretty_source.ml

src/plugins/gui/property_navigator.ml

src/plugins/report/classify.ml

src/plugins/scope/dpds_gui.ml

src/plugins/value/gui_files/gui_eval.ml

src/plugins/value/gui_files/register_gui.ml

src/plugins/value/utils/red_statuses.ml

src/plugins/value/utils/value_results.ml

src/plugins/wp/Generator.ml

src/plugins/wp/GuiNavigator.ml

src/plugins/wp/GuiSource.ml

src/plugins/wp/LogicUsage.ml

src/plugins/wp/wpAnnot.ml