Make redundant-existence-check care less about where a check happens

[anderseknert]

This is currently considered a redundant-existence-check:

f(obj) if {
    obj.type
    obj.type == "object"	
}

But this isn't:

f(obj) if {
    obj.type == "object"	
    obj.type
}

Whether the intent was an existence check or not, the latter should also be considered a violation of this rule.

I actually found a case of this in our own code here 😅