Commenting out the postcondition of {ES_EDITOR_ANALYZER_STATE}.is_valid_state_info is enough to remove the crash:

	is_valid_state_info (a_info: ES_EDITOR_ANALYZER_STATE_INFO): BOOLEAN
			-- Detemines if a given state info object is valid for Current.
			--
			-- `a_info': The info object to test for validity.
			-- `Result': True if the given object was valid; False otherwise.
		require
			a_info_attached: a_info /= Void
		do
			Result := attached {G} a_info
		ensure
--			non_generic_cat_call: Result implies attached {G} a_info
		end