Function visualize_ta 

pub(crate) fn visualize_ta(
    ta: &GeneralThresholdAutomaton,
    cfg: VisualizationOutput,
) -> Result<(), Error>

Visualize the threshold automaton in the given format

When svg or png format is selected, the graphviz library must be installed on the system.