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