sig val nodes_origin : Reason_graph.nodes_origin val initial_nodes : Pdg_aux.NS.t val in_kf : Cil_types.kernel_function option end