When a variable is initialized inside of a conditional statement, then Resharper correctly highlights its usages as "Possible System.NullReferenceException". However, if that variable is used inside of another conditional statement with exactly the same condition then it should not highlight that instance. After all, if the boolean expression evaluated as 'true' in the first condition then it should still evaluate as 'true' in the second pass if the operands' values are predictable (i.e. are literals or local variables). Please see the attached screenshot for an example.