Perform bounds checking in ExprResolveLevel