A first-draft exhaustiveness checker