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