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