class frama_c_inplace : frama_c_visitor
frama_c_visitor
in-place visitor; always act in the current project.