Debugged union, kleene_star & wrote print_transitions