verifier crashes when solving the gossiping girls, with forall statement
Created attachment 221 [details] gossip, forall, veryfier crash model+query
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.
Fixed in rev. 4366 (dev) and 4367 (4.0.9).
*** Bug 473 has been marked as a duplicate of this bug. ***