constraintsChecked

Constraints where every summed lever declared a unit, so the sum was fully checked.