Fix `check_return_range' decorator
Make things up as I go