Yes. If it were an ARRAY, this would be easy (not has (Void)), but I don't know if it can even be done for ITERABLE. I'll change the assertion tag to document it more clearly though.