?is_normalized:bool -> string -> Visitor.frama_c_visitor