Only do 1/-1 elimination with persistent facts. Add visit test case.