Cursor UnmovedCode template predicate contract to ensure a CURSOR_STRUCTURE cursor has not been moved during the execution of a routine bodyEiffel SoftwareunmovedEiffelcodecontractpostcondition
${structure}_unmoved: ${structure}.cursor.is_equal (old ${structure}.cursor)${end}