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