testDisjunction

abstract fun testDisjunction()