Debug `normalize_lon_rad'
Add post conditions