Fix forgotten assert, rename tests
Replace TestModelObserver by gmock