use assert for heap checks (activate with vm= -ea)
map EmptyReturnObjectSet to itself