def _register_name(self, name):
        if name not in self._var_name_mappers:
            self._var_name_mappers[name] = VariableNamer(name)
Get register name.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator._register_name