Changing variable names, to help distinguish similar trie code for subgoals, answers, and asserted tries.
Authored by: tswift 2016-01-17
Parent: [r8579]
Child: [r8581]