Finished generating declarations in the Uppaal backend. Now, it needs thorough testing and a SPIN backend + a way to define the scheduler for multiple clock-domains