FLEX : INFOFLEX is a flag setting or other piece of information.
A setting for DNEG-IMITATION.
Forbid double negations to be used as imitation terms for dpairs
of the form (f . ~g) if g was created by a double negation
in the first place (this prevents endless cycles), but allow them
TPS documentation homepage