Added string_of_rule and rename get_transition{,s}