not just all concurrent states with same red color everywhere

• Easy is to set the color of each FSM in animation a color at the start,
• Hard is to dynamically keep updating the FSM animation indicator with color information at each transition. (make penwidth relative to each multi-fsm case #31)