First commit. Contains code for the variables translations. Machine
variables, invariants and Initialisation can be generated