Rudell's variable reordering algorithm works.