Merging dependency lists from assumption, reduction, and scheme.  Not quite finished yet.  Having strange effects on new asymmetric scheme.