role saturation stages do not depend on change loading stage (assumes
that the changes do not contain role axioms -- to be fixed next)