is_size_known
Description:
Whether or not the accurate size of this spliterator is known.
If this is true, estimated_size returns an accurate size.
This value always could be changed false -> true when status changed, but not vice versa.
Note. is_size_known && estimated_size < 0 is possible. (e.g. an infinite spliterator)