[Polyml] variable shadowing