While I can see some a-hole at a tourney arguing this point, I wouldn't discount Traitor's logic. After all, the Sequencing rules also say, "When this happens, and the wording is not explicit as to which rule is resolved first..."Oh noes he goes for it but stumbles into a trap.
There is no need for the magic pool to exisit for this rule to happen, if there is a magic pool it will suck dice from it. If there isn't the rule will fizzle. Both rules are compulsary and both have the same timing point so squencing kicks in.
And that changes anything how? The argument is valid with the rules as they are printed now.if you try to argue this now then you would of had to argue this in all former editions as the only thing that has changed is that there is a centeralised pool that is random in size