Function decide_automatic_sequence_theorem 

pub fn decide_automatic_sequence_theorem(
    name: &str,
) -> Option<AutomaticSequenceDecision>