Detecting reflexive closure
Translators modularalized