}

    @Override
    public void visitTupleExpression(TupleExpression expression) {
        restrict(expression);
    }

    @Override
    public void visitMapExpression(MapExpression expression) {
        restrict(expression);
    }

    @Override
    public void visitMapEntryExpression(MapEntryExpression expression) {
        restrict(expression);
    }

    @Override