Example decision theory problem: "Agent simulates predictor" — AI Alignment Forum