getBodyItem

abstract fun getBodyItem(index: Int): Term

Gets the index-th goal in bodyItems.

Throws