Assertion list for term "go over dirty area".

Results from Ascent++: 1
vacuum CapableOfgo over dirty area 0.36