sig
  type t = Cil_types.stmt * bool
  val pretty : Format.formatter -> Cil_types.stmt -> unit
end