dpdgraph disagrees with `Print Assumptions` on module-locked opaque constants

[JasonGross]

Consider

Module Type FooT. Axiom T : nat. End FooT.
Module Foo : FooT. Definition T := O. End Foo.
From dpdgraph Require Import dpdgraph.
Print Assumptions Foo.T.
Print DependGraph Foo.T.

Print Assumptions gives Closed under the global context, but the dependency graph is

N: 1 "T" [body=no, kind=cnst, prop=no, path="Foo", ];
N: 2 "nat" [kind=inductive, prop=no, ];
E: 1 2 [weight=1, ];

It seems to me that body should be yes and it should probably depend on O as well.