Rudell's algorithm gets the variables in decreasing order of number of vertices