EIP-1087 graph

graph.gv

digraph G {
  concentrate=true

  00 -> 01 [label="20k gas"];
  00 -> 02 [label="20k gas"];
  01 -> 02;
  02 -> 01;
  00 -> 99 [label="no refund"];
  01 -> 99 [label="19.8k refund"];
  02 -> 99 [label="no refund"];

  11 -> 12 [label="5k gas"];
  11 -> 13 [label="5k gas"];
  11 -> 14 [label="5k gas"];
  12 -> 13;
  13 -> 12;
  12 -> 14;
  14 -> 12;
  13 -> 14;
  14 -> 13;
  11 -> 99 [label="no refund"];
  12 -> 99 [label="no refund"];
  13 -> 99 [label="10k refund"];
  14 -> 99 [label="4.8k refund"];

  00 [label="orig=cur=0,fresh"];
  01 [label="orig=cur=0,dirty"];
  02 [label="orig!=cur,dirty"];

  11 [label="orig=cur!=0,fresh"];
  12 [label="orig!=cur,dirty"];
  13 [label="cur=0,dirty"];
  14 [label="orig=cur!=0,dirty"];

  99 [label="end"];
}

graph.png