Avoid simplifying away all arguments to redomap.