Function immediate_scope_access 

pub fn immediate_scope_access<'a>(
    expr: &'a Expression,
    scope: &'a StructFields,
) -> HashSet<FieldName>

This returns the immediate scope_access (as explained immediate_scope_accesses) for expr.