Fixes in simple abduction (only compute updated answer when needed).
Abduction for terms: apply answer from previous problems to overcome limitations of fully maximal answers.
Term abduction search choices reordered for speedup.
Milestone 4 completed.