LibertyEiffel/Liberty — Issue #20: ROPE assumes lower=1
Author: tybor
Created: 2012-02-21 09:30:27+00:00
State: open

While it is customary that ABSTRACT_STRING.lower is 1 it is wiser to remove this assumption even on ROPE.
In fact we may want to change this invariant in future.