( int x1, int y1, int x2, int y2, int x3, int y3, int x4, int y4, int x5, int y5, int x6, int y6)
source not stored for this graph (policy: none)
no test coverage detected