evalAsExpression

fun Term.evalAsExpression(request: Solve.Request<*>, index: Int? = null): Term