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