Visitor.frama_c_inplace