Make use of the more flexible constraint handling added in a8a79c9069 to decompose add nuw/sub nuw.
a8a79c9069