You can push the blue bot into a wall, and most of the time, the red bot will jump without the blue bot jumping, but it's pretty finnicky (I implemented it quickly and it's somewhat broken, but still possible).
I see now. It looked like a bug and I don't like using bugs to progress because is not the intended way the developer wanted to.
