Add eliminateRedundant man