Function pretty_successor_labels 

fn pretty_successor_labels(terminator: &TerminatorKind) -> Vec<String>