Yeah I get that. The problem is that with AI decomps you really need a clear and verifiable target and exactness solves that problem. If you step away from that you basically leave any agent free space to cheat.
Sadly, even that isn't really a guarantee. I've seen some of the crazy nonsense that the permuter does to get a 100% match. `if ((!x) && (!x) && (!x)) {}` apparently gets different register allocation than `if (!x) {}`, for example. And sometimes important code takes zero instructions (like forwarding an argument from function X to function Y).
