package Communication.FDDI.Binary;

module lesscheck(event !less)
{
   a0: pause;
   a1: CompareLess8(
                false,true,false,false,false,false,false,false,
                true,true,false,false,false,false,false,false,
                less);
   a2: pause;
}satisfies {
   s1: assert E F E X less;
}