Translated Constant.Int type to long long data type in C and generates
the loop condition by merging the range and forall WyIL bytecode.