Document the connection between the size() and is_empty()

Add "AQueue.IsEmptyWhenItsSizeIsZero"
Add "AQueue.IsNotEmptyWhenItsSizeIsNotZero"