Try to fix search blowup with flat memory
Mutating quantifiers works; real scores.