Store transitions
Support comparison for graphs with cycles