Query preprocessing (untested).

Existentials are replaced with disjunctions over H^+_1.