Storyboard LazyReachabilityGraphAttrsAndNodes
Start graph:
Rewrite rule:
Check: number of reachable states 3 actual 3
Check: number of nodes building the two graphs 4 actual 4