error: the `unwind` attribute also requires the `#[kani::proof]` attribute