#[formal_method_test_v3]Expand description
V3: mod wrapper + transform #[instrument] into cfg_attr(not(any(kani,creusot)), instrument).
#[formal_method_test_v3]V3: mod wrapper + transform #[instrument] into cfg_attr(not(any(kani,creusot)), instrument).