Eliminate universal variables whenever possible.