in polygon_is_empty class (checking of interior rings); explicitly check that the result of "is_empty()" is the same as the result of "num_points() == 0";