test adder both ways - the cool bit of constraint propagation