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