Function into_bymc 

pub fn into_bymc(
    ta: &GeneralThresholdAutomaton,
    spec: &ELTLSpecification,
) -> String

Translate a [GeneralThresholdAutomaton] and ELTLSpecification into ByMC specification