0304_assert_rel.c:6.2-7.2: ERROR: assertion failure
0304_assert_rel.c:7.2-8.0: [ x in top, y in top ]
