Fix quality flaw: improve coverage.

Author: DidierBesset

java-squid/src/test/java/org/sonar/java/se/symbolicvalues/BinaryRelationsTest.java

@@ -642,5 +642,7 @@ public void transitiveConjunction() {
     checkConjunction(GreaterThanOrEqualRelation.class, NotEqualRelation.class, GreaterThanRelation.class, RelationState.FULFILLED);
     checkConjunction(LessThanOrEqualRelation.class, NotMethodEqualsRelation.class, LessThanRelation.class, RelationState.FULFILLED);
     checkConjunction(GreaterThanOrEqualRelation.class, NotMethodEqualsRelation.class, GreaterThanRelation.class, RelationState.FULFILLED);
+    checkConjunction(GreaterThanOrEqualRelation.class, MethodEqualsRelation.class, EqualRelation.class, RelationState.UNDETERMINED);
+    checkConjunction(NotMethodEqualsRelation.class, NotMethodEqualsRelation.class, EqualRelation.class, RelationState.UNDETERMINED);
   }
 }