Start of a module to check acyclicity of synonyms