Add testcase for pushing sections, which are part of a cycle relation and should be displayed as ordinary way in the annotations.