Missing piece of documentation (do not drop atoms from pred.var. answers if they were discarded from residuum). Fix to "binary upper bound" test.