let fol_field_shift ps field = 
  let f, _ = get_field field in
    Why_ops.field_shift ps f field.fcomp.cstruct