Module Separate

module Separate: sig .. end

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