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