computing backjump level