scopes and variable bindings can be removed