Changed po answer subsumption to allow nonvariable terms in the
aggregate position, and to treat the variables in that term as existential. Pointed out by Vijay Saraswat.
Authored by: dwarren 2015-04-09
Parent: [r8313]
Child: [r8315]
