Be super smart about known variables

[kwerle]

If we're sure about the context then we should say we're sure about what the method/variable is.

If we have a lock on the context. Or if it's an @ivar - then we can be pretty sure.