(Promela) Making Scheduling variables global
(Core) The renaming transformation did not rename the ports of actors. This seems to only be a problem with the combination Promela and Zigbee where there is a port named "len" which is a keyword in Promela.
(Promela) Fixes