   >   State-oriented diagnosis enabled.
   >   Scanned evolution of length 0..4
   >>  Looking at preferred trajectory 0, state #4.
   >>  Looking at preferred trajectory 1, state #4.
   >>  Looking at preferred trajectory 0, state #3: MATCH!
   >>  Looking at preferred trajectory 1, state #3: MATCH!
   >   Current point of failure: 3
   >   Scanned evolution of length 0..4
   >>  Looking at preferred trajectory 0, state #4.
   >>  Looking at preferred trajectory 1, state #4.
   >   Current point of failure: 3
   >   Scanned evolution of length 0..4
   >>  Looking at preferred trajectory 0, state #4.
   >>  Looking at preferred trajectory 1, state #4.
   >   Current point of failure: 3
