Remove secondary term variables stack to prevent unsoundness#852

MichaelRawson merged 1 commit into

mastervprover/vampire:masterfrom

fix-twee-variable-bugvprover/vampire:fix-twee-variable-bugCopy head branch name to clipboard