Functional Dependencies were not getting simplified away when the dictionary that generated them was simplified by instance resolution. Fixed.