The above URL gives a model where the following two integers are defined:
and an assignment between them is performed. If this model is simulated the
engine fails when the transition with the assignmnet is taken.
Relates to bug #48
A fix for the engine crash has been checked into CVS.