Predicate varEqualityTestExpr
Gets an expression of the form v1 == v2 or v1 != v2.
The predicate is symmetric in v1 and v2.
Note this includes Kotlin’s == and != operators, which are value-equality tests.
Import path
import semmle.code.java.dataflow.NullGuardsEqualityTest varEqualityTestExpr(SsaDefinition v1, SsaDefinition v2, boolean isEqualExpr)