restrict(ifElse);
    }

    @Override
    public void visitExpressionStatement(ExpressionStatement statement) {
        restrict(statement);
    }

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

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

    @Override

    }

    @Override
    public void visitExpressionStatement(ExpressionStatement stat) {
        stat.setExpression(replaceExpr(stat.getExpression()));
    }

    @Override
    public void visitReturnStatement(ReturnStatement stat) {
        replaceExpr(stat.getExpression());
    }

    @Override
    public void visitThrowStatement(ThrowStatement stat) {
        replaceExpr(stat.getExpression());
    }