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