let get_node_key_mark ff k = try FctMarks.get_node_mark ff k with PdgIndex.NotFound -> Marks.bottom_mark