sig   val check_ast :     ?is_normalized:bool -> ?ast:Cil_types.file -> string -> unit end