Top level must verification in SimpleMatcher