Add additional step in beta reduction