Borrow region

In the current polonius input and output facts, how do I track the value a borrow refers to? For example,

let r = &mut v;

How do I track that r refers to the value in v? I believe this was originally referred to as the Borrow Region.

Have you checked the documentation related to Loan Analysis?