State Variable Dependency Graph