Fixed a bug in the uppaal and promela backend. Start adding testing and adding data