verifier crashes when solving the gossiping girls, with forall statement
Created attachment 221 [details]
gossip, forall, veryfier crash
Work-around that bug in rev. 4361 (4.0.8) and 4362 (dev).
The bug will still occur if the name of the process parameter
matches a name of the template member. This still needs to be
Fixed in rev. 4366 (dev) and 4367 (4.0.9).
*** Bug 473 has been marked as a duplicate of this bug. ***