Fixed error in QSAT encoding.

It occurred when rejecting children of OR nodes were pruned in such a way
that the remaining children of these OR nodes did not match in a join node. This led to the correct "reject" not being performed.