I think the best 2 paths are just return the transitive closure of the binary targets as the immediate workaround