added CBV context sensitive beta reduction