Function resolved_receiver_path 

pub fn resolved_receiver_path<'node, 'facts>(
    receiver: &'node SNode,
    resolved: &'facts HashMap<(usize, usize), BindingId>,
) -> Option<(&'facts BindingId, Vec<&'node str>)>

Resolve a property receiver to its root binding and ordered property path.

Both ordinary and optional property access recurse through the same lexical owner. Consumers can compare the returned BindingId with the parameter or local declaration they authorize instead of inferring authority from an identifier’s spelling.