Disabling LOI for the moment because TACO does not support complement. Repairing some problems with the test files of the stryker gcd case study.