(int[] x, int[] y, int xs, int ys, int xt, int yt)
source not stored for this graph (policy: none)
no test coverage detected