Removed checks for not having two transitions between place/transition, 

This is used be the uppaal reduction when creating the uppaal models