TEST: Improve coverage of transys.labeled_graphs; unlabeled stuff