Re: predecessor-set and successor-set properties

> The latter is defined in terms of the former, making them
> computed and protected respectively.
>   
successor-set is computed (in particular protected) so that the spec 
does not have to mention every impact a method could possibly have on 
the value of this property. This makes sense, IMHO.