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