Closed caravagn closed 9 years ago
hypotheses.add('1', OR(x), y ) hypotheses.add('2', OR(x), z )
Fails, while it should not - add z as y as possible effects.
is it working now? can we close this?
hypotheses.add('1', OR(x), y ) hypotheses.add('2', OR(x), z )
Fails, while it should not - add z as y as possible effects.