Quickfix: corrected segment's position and added an alias check in SegmentDefinitionTest