Function initialize_smt_model_checker 

pub(crate) fn initialize_smt_model_checker(
    ta: GeneralThresholdAutomaton,
    spec: ELTLSpecification,
    cfg: TACOConfig,
    parallel: bool,
) -> SMTModelChecker