Step 4

• As we leave a state, its reachability is set to zero.
• "Lost" reachability is kept in truncated state for next iteration.