Probably move_item (v: G)  should also have the precondition "not_before: not before"
To be continued in other related bug report.
Closing this one for now.