Correct instruction names for subtract-with-borrow