We could have a "validator" implementation of IElementNavigator that adds the current slice name as an annotation.