int eliminate(term t, term x, term a, term b, term *ans); int elim2(term t, term x, term a, term b, term *ans); term lnegate(term);