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