Assuming Xor does not remove other variables

[znittzel]

For instance

model = pg.Xor(*"abcd")
red_model = model.assume({"a": 1}).reduce()

red_model still got "b", "c", and "d" but they should be assumed to 0 as a consequence of a=1