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