This testcase would assert in debug if bug is present. o1 in o2: PASSED!
