def convert_to_bitvec(self, operand):
        if isinstance(operand, ReilRegisterOperand):

            bitvec = self._solver.mkBitVec(
                operand.size,
                self.get_curr_name(operand.name)
            )

        elif isinstance(operand, ReilImmediateOperand):

            bitvec = self.translate_immediate_oprnd(operand)

        else:

            self._raise_invalid_type_oprnd(operand)

        return bitvec
This computes the distance to a color, should be minimized.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator.convert_to_bitvec--crossover with--dataset/ETHPy150Open tomerfiliba/plumbum/plumbum/colorlib/names.py/FindNearest._distance_to_color