(FTY::CHECK-FLEXSET-ALREADY-DEFINED)
(FTY::CHECK-FLEXSET-FIX-ALREADY-DEFINED)
(FTY::PARSE-FLEXSET)
(FTY::FLEXSET-FNS)
(FTY::FLEXSET-COLLECT-FIX/PRED-PAIRS)
(FTY::FLEXSET-PREDICATE-DEF)
(FTY::FLEXSET-FIX-DEF)
(FTY::FLEXSET-FIX-POSTEVENTS)
(FTY::FLEXSET-FIX-WHEN-PRED-THM)
(FTY::FLEXSET-COUNT)
(FTY::FLEXSET-COUNT-POST-EVENTS)
