suppressing useless include and comments to exhaustive.hpp