- What is the protocol claim with the least states, where the states
  differ between warshall-old and the new warshall? Investigate the
  proof there.