Remove this junk context (but in the longer term, we need test cases with such junk in them, to make sure we deal with naming correctly in disint - currently the wrt vars technically escape their scope, since the context can contain constraints on the wrt var)
Remove this junk context (but in the longer term, we need test cases with such junk in them, to make sure we deal with naming correctly in disint - currently the wrt vars technically escape their scope, since the context can contain constraints on the wrt var)

zaxtax/hakaru,zachsully/hakaru,zachsully/hakaru,zaxtax/hakaru