(Promela) Added support for token rates (and values) of actor level schedule. This will be used for feeding the promela model and perhaps for some analysis.