Can you explain to me how it's required for this rewrite?  I can (or rather think I can) see how it'd be useful to the general class of this sort of boolean expression rewriting.  ie, it could stand alone and be useful even if the rewrite you're adding here didn't exist.