Great. So far I've looked very briefly, but it's interesting.
I handle EMPTY explicitly in the Role Graph but as I noted somewhere in my comments, it really shouldn't be possible to leave the database in that state. Do we need to bug Robert on this directly or do you plan to have a go at it?
I don't plan to do that. Right now I don't have enough time and experience. This requires an experienced developer.