sig val prologue : unit -> unit val filter_if : Cil_types.stmt -> 'a Dataflow2.guardaction * 'b Dataflow2.guardaction -> 'a Dataflow2.guardaction * 'b Dataflow2.guardaction val epilogue : unit -> unit end