I think the graph itself is useful for that exact reason. It lets us see the the specific model assumptions and generate the testable conditions.