Added support for updating variables in the correct guards. Need heavy testing and local declaration of variables in the uppaal templates