fn get_clause_name()

in smt2patch/src/lib.rs [101:106]

• 6 lines of code
• 2 McCabe index (conditional complexity)

    fn get_clause_name(term: &Term) -> Option<&Symbol> {
        if let Some(AttributeValue::Symbol(s)) = Self::get_attribute(term, "named") {
            return Some(s);
        }
        None
    }