let add_axiom tbl name labels a =
try
let a = NormAtLabels.preproc_annot NormAtLabels.labels_axiom a in
let labels =
List.map (NormAtLabels.preproc_label NormAtLabels.labels_axiom) labels in
let axiom = WpPropId.mk_axiom_info name labels a in
debug "take %a@." WpPropId.pp_axiom_info axiom;
tbl.tbl_axioms <- axiom::tbl.tbl_axioms
with e ->
NormAtLabels.catch_label_error e ("axiom "^name) "axiom"