Visitor
.frama_c_inplace