InvalidLiteralException

fun InvalidLiteralException(literal: Term, clause: Clause?, cause: Throwable? = null)
fun InvalidLiteralException(literal: Term, cause: Throwable? = null)