It seems to me (from a position of almost complete ignorance) that it would be rather easy to change things now so that you can have mutually recursive continuations. Is their lack the reason for the dominator calculation? If so then this would seem to be a really strong argument for going for mutually recursive continuations. If not then what is the dominator calculation for?