No proof harnesses (functions with #[kani::proof]) were found to verify.