case-state-graph.xql