DownCastBuilderSpec(verbs: IAssertionVerbFactory, testeeFactory: (description: String, subClass: KClass<Int>, CommonFields<Number?>) -> DownCastBuilder<Number, Int>)