A demo of the bidirectional must-expand graph.