https://marcoramilli.com/2021/09/13/program-synthesis-for-deobfuscation/