Seems to work fine, I see no loss of parallelism and I get acceptance. I'll put it on my TODO list to see if (and how) it can be adapted for the rest of the codebase (or portions thereof), especially the operators.