case-state-graph-oracle.xql