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