Initializing VarEnumerator in subsumptive answer search. This is used to copy in conditional answer information, and will hopefully fix an initialization error detected by valgrind.
Authored by: tswift 2009-01-24
Parent: [r6238]
Child: [r6240]