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 end