Fix forall bindings scope.