Example decision theory problem: "Agent simulates predictor" — LessWrong