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 end