Property representing unreachable!() is marked as SUCCESS instead of UNREACHABLE

[celinval]

//! unreachable.rs
#[kani::proof]
fn unreachable() {
    kani::assume(false);
    assert!(false);
    unreachable!("oops")
}

using the following command line invocation:

kani unreachable.rs

with Kani version:

I expected to see this happen: Both properties should be marked as UNREACHABLE.

Instead, this happened: Only the assertion was marked as UNREACHABLE

Kani Rust Verifier 0.52.0 (standalone)
...
RESULTS:
Check 1: unreachable.assertion.1
	 - Status: UNREACHABLE
	 - Description: "assertion failed: false"
	 - Location: unreachable.rs:4:5 in function unreachable

Check 2: unreachable.assertion.2
	 - Status: SUCCESS
	 - Description: "internal error: entered unreachable code: oops"
	 - Location: unreachable.rs:5:5 in function unreachable


SUMMARY:
 ** 0 of 2 failed (1 unreachable)

VERIFICATION:- SUCCESSFUL