let get_logic name = try Hashtbl.find declared_logics name with _ -> raise_error ("Logic function '"^name^"' not declared in hashtbl")