//This file was generated from UPPAAL2k.

/*

*/
A[] Trein.Bij_overgang imply Overgang.Dicht