Fix bug with update upper bound.
Fix bug with moreReason (it was not called by analyze_final).