https://123dok.org/document/z3dj0ljd-symbolic-verification.html