do not expose refutation table in search.h