Fixed error when computing bound of a splitted loop