abstract fun <T : Any, E : Comparable<E>> min(container: AssertionContainer<T>, converter: (T) -> Iterable<E>): ExtractedFeaturePostStep<T, E>