https://123dok.net/document/z3d356dd-boolean-encodings-transition-relation-parallel-compositions-transition-systems.html