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