Corrected specs after IHasStateInitialization method changed to initializeByNavigator