Factor descendant iterator assertions into a class.