[Transitions] Add the not-in-use labells to the generated FSP
MTSA generates transitions from a composed LTS. If the original LTS has more labelled transitions that are not used, then the Alphabets of the generated FSP using just transitions and the original LTS will not match.
When generating the transitions, add something like this to the last state: Q51 = (medicate[4] -> Q37)+{dead}.