Function self_address_paths 

fn self_address_paths(
    expr: &Expr<'_>,
    state: &FlowState,
) -> BTreeSet<BTreeMap<PathPredicate, bool>>