Revert "-) this was an attempt to solve worst case path of Observer_behave"

This reverts commit 522066ae2b428fa49816714b2cb451f5230da019.