Function transitive_attackers 

pub fn transitive_attackers<A>(
    framework: &BipolarFramework<A>,
    a: &A,
) -> HashSet<A>
where
    A: Clone + Eq + Hash,

All arguments that attack a under the closed attack relation (direct attacks plus derived attacks from support closure).