IllegalTermException

fun IllegalTermException(term: Term<*, *>)