[RockRobotRock]

Here is an example of the problem with inference-based verification:

https://streamable.com/3tgc14