Do not call the observer unless some changes happened.
Calling the observer when no changes happened causes a large processor usage just to update the terminal running why3 replay
. This is even worse over SSH, as a large number of encrypted packets are getting uselessly sent over the network.