Fix to last term abduction (choice 6) bug fix.
Pass quantifier operations together. Treat abduction answer variables as parameters.