AnalyzeDependencies:
PROC [contextRib: SaffronContextPrivateTypes.ContextRibNode];
Raise an error (what error?) if contextRib contains any cyclic dependencies in its declarations. If contextRib is okay, fill in all of its SIZE, FIRST, and LAST fields. (If we get really clever, and lucky, maybe we can also discriminate the Specianated types.)