Add test for vanishing cyclic states

* Unlike PIPE 4, we must sum up all the state transitions after the
  reachability file has been generated.
* CHECK WITH WILL but I think this is better, the previous
  implementation stores the transitions to write in memory - which then
  makes all the memory saving tricks in his 1996 PhD pointless since
  we're storing all the transitions anyway!