https://9dok.net/document/zlgxop16-protocol-verification-with-heuristic-search.html