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