A dynamic definite assignment puzzle