let enforce_strategy ra = let real_len = real_length ra in let new_len = length ra in let new_real_len = Strategy.shrink ra.strategy ~real_len ~new_len in if new_real_len <> -1 then resizer ra.vlix ra new_real_len