sig
  val compute_pragmas : (unit -> Cil_types.stmt list) Pervasives.ref
  val from_stmt : (Cil_types.stmt -> Cil_types.stmt list) Pervasives.ref
  val from_nodes :
    (Cil_types.kernel_function -> PdgTypes.Node.t list -> PdgTypes.NodeSet.t)
    Pervasives.ref
  val slice : (Cil_types.stmt list -> unit) Pervasives.ref
end