Editing: IsTraversableWithSize.php