Eliminate bugs from noncommutative_reduce