(int ax1, int ay1, int ax2, int ay2, int bx1, int by1, int bx2, int by2)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected