let expr stmt e = let computer = new do_it in computer#push_stmt stmt; ignore (visitFramacExpr (computer:>frama_c_visitor) e); computer#result