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