In split-select, no minimal choices, try to filter out all atoms.
Predicate variable instantiation -- freshen variable bug fix.
Temporary heavy debug logging. Simple abduction for terms: different order of conjuncts in initial answer, do not prune based on conjuncts not yet processed.
Eliminating shared conclusions was a stupid idea.
Discard list of atoms to disallow in abduction answers, pass atoms of predicate variable answers found in previous iterations.