let get_node_marks ff node_key = let fm = ff.T.ff_marks in PdgIndex.FctIndex.find_all (get_marks fm) node_key