Wrap tuples in quantification nodes

Fixes rules with multiple subsequent quantification conditions (exists,
not)