Bug in equal-with-asserts-and-test example.
Reworked and fixed handling of discard lists. Simple backtracking in main algorithm.
Simple abduction for terms: remove discard list from the initial answer. Test cleanup.