Disjunction elimination: intersect variable equations; bug fixes and tests.