Maybe it's possible to infer from analysis which transitive deps are actually needed?