manticore/core/smtlib/constraints.py
def _declare(self, var):
        """ Declare the variable `var` """
        if var.name in self._declarations:
            raise ValueError('Variable already declared')
        self._declarations[var.name] = var
        return var
def _declare(self, var):
        """ Declare the variable `var` """
        if var.name in self._declarations:
            raise ValueError('Variable already declared')
        self._declarations[var.name] = var
        return var
Declare the variable `var`