[rules-users] Puzzling behavior for null pointer verification in LHS