Assertion list
sewer (primary) → AtLocation

Results from Ascent++: 1
sewerAtLocation bad state 0.29