Address review.

criemen · criemen · commit 3368169df84e · 2019-11-25T14:54:50.000+01:00
diff --git a/java/ql/src/semmle/code/java/dataflow/NullGuards.qll b/java/ql/src/semmle/code/java/dataflow/NullGuards.qll
@@ -36,7 +36,6 @@ InstanceOfExpr instanceofExpr(SsaVariable v, Type type) {
  */
 EqualityTest varEqualityTestExpr(SsaVariable v1, SsaVariable v2, boolean isEqualExpr) {
   result.hasOperands(v1.getAUse(), v2.getAUse()) and
-  result instanceof EqualityTest and
   isEqualExpr = result.polarity()
 }
 

Original file line number	Diff line number	Diff line change
`@@ -36,7 +36,6 @@ InstanceOfExpr instanceofExpr(SsaVariable v, Type type) {`
`36`	`36`	`*/`
`37`	`37`	`EqualityTest varEqualityTestExpr(SsaVariable v1, SsaVariable v2, boolean isEqualExpr) {`
`38`	`38`	`result.hasOperands(v1.getAUse(), v2.getAUse()) and`
`39`		`- result instanceof EqualityTest and`
`40`	`39`	`isEqualExpr = result.polarity()`
`41`	`40`	`}`
`42`	`41`