Compute the (a) shortest path from start to end. THrow an exception if end cannot be reached rom start.
(V start, V end)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected