let expr stmt e = let computer = new do_it in computer#set_current_stmt stmt; ignore (visitCilExpr (computer:>cilVisitor) e); computer#result