module Separate:sig
..end
val mask : int Pervasives.ref
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