Domina meta, testing completeness of tests