Bounds computation for ZeroExtend