Aggregation: remove from the scope the variables locally bound

type:fixed

For LIGO developers

As reported in #ligo, there's some trouble with bound variables by abstraction/cases and aggregation pass.

Changelog details: