sig
  class check : ?is_normalized:bool -> string -> Visitor.frama_c_visitor
  val check_ast : ?is_normalized:bool -> string -> unit
end