Function is_support_closed 

pub fn is_support_closed<A>(
    framework: &BipolarFramework<A>,
    extension: &HashSet<A>,
) -> bool
where
    A: Clone + Eq + Hash,

Check whether a candidate extension is support-closed in a bipolar framework: every argument in the extension has all its direct necessary supporters in the extension too.