Bound computation for generic SCEV value