abstract fun <K, T : Pair<K, *>> first(container: AssertionContainer<T>): ExtractedFeaturePostStep<T, K>