let add_logic name log_info = begin if not (Hashtbl.mem declared_logics name) then Hashtbl.remove declared_logics name; Hashtbl.add declared_logics name log_info end