Predicate comparesIdenticalValuesNan
Holds if comparison test ct compares two structurally identical
expressions, in a way that may be used to perform a NaN-test. builtin is
the name of an equivalent built-in NaN-test method, for example
double.IsNaN().
Import path
import semmle.code.csharp.commons.Constantspredicate comparesIdenticalValuesNan(ComparisonTest ct, string builtin)