[impossiblefork]

It's not obvious that there are such mitigations.

I personally would have gone for search/reasoning as has been done. It's the reason path.