[logic] pretty-printing predicate kinds

Makefile

src/kernel_services/ast_data/property.ml

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_printing/cil_printer.mli

src/kernel_services/ast_printing/description.ml

src/kernel_services/ast_printing/logic_print.ml

src/plugins/gui/design.ml

src/plugins/obfuscator/obfuscate.ml

src/plugins/value/engine/transfer_logic.ml

src/plugins/value/legacy/eval_annots.ml

src/plugins/wp/LogicUsage.ml