let new_empty_fi_marks fi = let marks = empty (M.get_fi_pdg fi) in fi.T.fi_init_marks <- Some marks ; marks