make beta reduction abortable