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);
 }