#4 Wrong mutex detection algorithm in MutexGeneratorImpl

[Felipe Meneguzzi]

From Fabien Lagriffoul

I'm not sure but I think there is a bug in the method:

MutexGeneratorImpl.isMutex()

I think that the last forloop:

for(Proposition effect : operator1.getEffects()) {...

should be with "operator2" instead of "operator1".

I'm working with the source package javagp-src-0.9.2.
line 119 in MutexGeneratorImpl.java

[Felipe Meneguzzi]

Bug was confirmed by Dregoth and promptly fixed, still needs to test the algorithms with existing domains.