Chapter5 Example2: added verify expectations check