[LV][LAA] Add a layer over SCEV to apply run-time checked knowledge on SCEV expressions