Minor changes in answer-completion: use force_truth_value(...,false)
instead of delete_return. It's more direct and should be slightly more efficient. Use trie_get_return directly to avoid collecting all answers just to see if there's one.
Authored by: dwarren 2015-08-05
Parent: [r8416]
Child: [r8418]