BOpUtility.postOrderIteratorWithAnnotations() has the wrong visitation order. This method lacked a test (we had a test for the pre-order version). I have added a test to TestBOpUtility. I think that the expected order specified for this test is correct.
- visit annotations before children
- visit children
- visit self
The test case and my attempt and the post-order iterator with annotations is in TEST_1210
The following ticket is blocked on this ticket:
BLZG-843 Wildcard projection was not rewritten.