However in practice, transitive missing dep detection is all we test for