Node::hasBoundVar().
Remove --ite-remove-quant; support pulling ground ITEs out of quantifier bodies (resolves bug 551).