Added one test case for code generation to execute the generated code
Refactored to move the Sequent data type to its own module and the operations on Label to the Label module