Restrictions allow compilers to figure out a stencil because they standardize the way that data is accessed. If data can only be accessed through some way, then there is no ambiguity in determining what can constitute a stencil and what cannot.