Implication is completely broken

[maxkratz]

One of the implication tests is failing for all ILP solvers. Maybe there is a bug in the problem generation or the test case is wrong.

[maxkratz]

See test(s): https://github.com/Echtzeitsysteme/gips-tests/blob/main/test.suite.gips/src/test/suite/gipsl/all/build/GipslAllBuildImplicationTest.java

[maxkratz]

Currently, the implication implementation is completely broken. In each test case, the generator does not generate any ILP constraints:

\ LP format - for model browsing. Use MPS format to capture full model detail.
Maximize
  n2n#0 + n2n#1 + n2n#2
Subject To
Bounds
Binaries
 n2n#0 n2n#1 n2n#2
End

All entries in GipsEngine.constraints do not have any ILP or depending ILP constraints.

[maxkratz]

The implication was never completely broken; I just triggered another bug/had an error in my specification. However, with the merge of #74, the implication works just fine (after adjusting the transformation epsilon).