(Promela) Bugfixes, significant speedup of analysis.