Additional details to SMax computation
Bound computation for Sign Extend