Extend t_depend to identify join-induced dependencies.
Code cleanup.
First cut at safety analysis for RSE join dependencies.

More cases need to be supported but at least the initial stuff seems to work.