push(): if there is space for new element it will simply insert the element to pushQueue
()
source not stored for this graph (policy: none)
no test coverage detected