Dependency Graph for and-or-not 1.3.1