goal-bisecting: goal test crashed; goal list didnt. let's try goal resolve