add leftmost beta reduction