Statemaker and "multiedges"
Statemaker can be very confusing when having two parallel edges. Students are used to doing something like this from AAG course (see pic) which obviously results in wrong alphabet and string::Parse
failure.
Solution: Probably show a warning? Or parse it into individual symbols/transitions?