Fix bugs in DiscreteVariable.find_compatible

I changed "ordered" to "values" and fixed a few other bugs detected by the newly provided extensive suits of tests, which we all can be proud of.