let fterm_of_havoc_field s f =
      let fid = D.Findex.get_ind f in
        if f.fcomp.cstruct then Hlib.havoc_field s fid
        else Hlib.havoc_ufield s fid