Currently the dependency graph only works on newtheorems e.g. theorems/lemmas/definitions etc

https://www.sciencestack.ai/docs/dep-graph