testTermSame

abstract fun testTermSame()