wider rewrites, e.g.

permission access = thing + otherthing + anotherthing + afourththing

will be evaluated in parallel, whereas things that are deeply nested will need to resolve things in sequence