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