[K-Bug] <TITLE>

### What component is the issue in?

None

### Which command

- [ ] kompile
- [ ] kast
- [ ] krun
- [x] kprove
- [ ] kprovex
- [ ] ksearch

### What K Version?

K

### Operating System

MacOS (Apple Silicon/AMD)

### K Definitions (If Possible)

0xkohe:patch-1

### Steps to Reproduce

Hackers

### Expected Results

Hackers