Don't use reduce in checkodesol()

It isn't avaiable in Python 3
Apparently `set().union()` does work.