https://123dok.net/document/y6jj5mnq-generic-framework-for-symbolic-execution-theory-and-applications.html