Dependency Graph for reahl-domain 5.2.2