Make prequantification steps for each quantifier independent (fixes #31).