Function parse_reachability 

pub fn parse_reachability(
    ta: &mut GeneralThresholdAutomaton,
) -> (Vec<String>, Vec<String>)