restrict(statement);
    }

    @Override
    public void visitReturnStatement(ReturnStatement statement) {
        restrict(statement);
    }

    @Override
    public void visitAssertStatement(AssertStatement statement) {
        restrict(statement);
    }

    @Override
    public void visitTryCatchFinally(TryCatchStatement finally1) {
        restrict(finally1);
    }

    @Override

    @Override
    public void visitClosureListExpression(ClosureListExpression expr) {
        visitListExpression(expr);
        replaceVisitedExpressionWith(expr);
    }

    @Override
    public void visitAssertStatement(AssertStatement stat) {
        replaceExpr(stat.getBooleanExpression());
        replaceExpr(stat.getMessageExpression());
    }

    @Override