sig
  val compute : (Cil_types.kernel_function -> unit) Pervasives.ref
  val stmt_postdominators :
    (Cil_types.kernel_function ->
     Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t)
    Pervasives.ref
  val is_postdominator :
    (Cil_types.kernel_function ->
     opening:Cil_types.stmt -> closing:Cil_types.stmt -> bool)
    Pervasives.ref
  val display : (unit -> unit) Pervasives.ref
  val print_dot :
    (string -> Cil_types.kernel_function -> unit) Pervasives.ref
end