Non-deterministic test case TestSimpleNegative - testTwoDifSuperOneSubClassToDoc2

[Arikae]

The TestSimpleNegative - testTwoDifSuperOneSubClassToDoc2 Unit Test fails non-deterministically.
The error message was that not valid solution could be found (I guess from the ILP solver and I used Gurobi)