Add Range assertions