Function initialize_cs_model_checker 

pub(crate) fn initialize_cs_model_checker(
    ta: GeneralThresholdAutomaton,
    spec: ELTLSpecification,
    cfg: TACOConfig,
) -> ACSModelChecker