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;
}