Adapted FSM1 and FSM2 in UML.vpp