Bug report

This only happens when bleedingEdge is used.

Code snippet that reproduces the problem

https://phpstan.org/r/7630b305-3559-42e6-b125-a876bcce437e
https://phpstan.org/r/8f63b716-d2b7-4dca-b41f-98659f991e35

Expected output

Both samples should be error-free, because $this->damage is modified directly before the isBroken() call, which may cause a different result to be returned.