(a)
Pattern 0
(b)
Pattern 1
(c)
Pattern 2
Figure 5:
Reachability with buffer length
.