let get_fi_node_mark fi node_key = match fi_marks fi with None -> Marks.bottom_mark | Some fm -> get_mark fm node_key