let declare x _ =
         try Formula.AxiomHashtbl.find user_axioms x )
         with Not_found -> Wp_parameters.fatal "Uncompiled axiom (%s)" x