https://5dok.org/document/zkw7km81-learning-cache-replacement-policies-using-register-automata.html