Moved check bounds to analyzer which it really is rather than a helper