No, that's not what it's arguing. Basically it's easier to implement optimizations correctly if you're expressing them in regular logic instead of hand-written

No, that's not what it's arguing. Basically it's easier to implement optimizations correctly if you're expressing them in regular logic instead of hand-written graph manipulations. The underlying approach is fundamentally different.