https://123dok.net/document/z1dro833-automatic-state-reaching-for-debugging-reactive-programs.html