error: only one '#[kani::proof]' attribute is allowed per harness\
main.rs\
|\
| #[kani::proof]\
| ^^^^^^^^^^^^^^\
|\