adder assert