Validation
Use of Regenerate to generate possible sequences of the provided SC.
Able to use Daml contracts or model representation.
Validate SCs representation using existing Daml contracts in order to determine if the automaton expresses the same behaviour as an existing contract. Generate Daml contracts throught provided automata.