fix for some adder positioning edge cases

Reported in hypothesis/h#371