1. on array access - show if there is maybe \ definitely
ArrayOutOfBounds exception.
2. fix evaluateRvalueInterval function to work with variable-index.
3. add ctor to Interval class for constants.
4. dsiable warnings on output.