sig
  val check_ast :
    ?is_normalized:bool -> ?ast:Cil_types.file -> string -> unit
  module type Extensible_checker =
    sig
      class check : ?is_normalized:bool -> string -> Visitor.frama_c_visitor
    end
  val extend_checker :
    ((module Filecheck.Extensible_checker->
     (module Filecheck.Extensible_checker)) ->
    unit
end