https://123dok.net/document/zwv9mdr7-optimizing-symbolic-execution-communicating-evolving-state-machines.html