Limit expression environment to local variables.
Limit expression environment to local variables.

This is sound (I believe) because global variables are only ever
on the RHS of view defs, and the RHS of atomic actions, neither
of which use the expression generators limited here.

septract/starling-tool,septract/starling-tool