This rule is defined by the following XPath expression:
//EqualityExpression[@Image='=='] /PrimaryExpression/PrimaryPrefix /Name[@Image='Double.NaN' or @Image='Float.NaN']
Example:
public class Bar { boolean x = (y == Double.NaN); }