Added usage of MapVerifier.