Elimination of fast variables