Check if the buffer contains a complete sequence of reliable packets at the start of the buffer
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected