digraph Reserve {

  filled [color=blue, label="filled reserve", shape="box"];
  drained [color=blue, label="drained reserve", shape="doublecircle"];

  transfer->filled;
  recoup->filled;
  filled->withdraw;
  withdraw->drained;
  withdraw->filled;
  filled->close;
  close->drained;
  drained->recoup;
}
