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