generator of random non-null boxes (i.e. with area != 0)
()
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected