eliminate function

Eliminate a variable from a set of edit rules