private <U> void dfs(BinaryExpr e, Visitor v, U context) { assert e.getLhs() != null; assert e.getRhs() != null; e.getLhs().accept(v, context); e.getRhs().accept(v, context); }