more test checks
break up objects more aggressively

having a Map after a loop (as opposed to before and after) should be
enough and fixes one of the tests. need to investigate some new
"undefined"("top") cases.
first case in test4B runs correctly

second fails at poly2 assert