(self, symvar: claripy.ast.Base, definition: Definition)
return self.live_definitions.annotate_with_def(symvar, definition)
:param symvar:
        :param definition:
        :return:
def annotate_with_def(self, symvar: claripy.ast.Base, definition: Definition):
        """

        :param symvar:
        :param definition:
        :return:
        """
        return self.live_definitions.annotate_with_def(symvar, definition)
def annotate_with_def ( self , symvar : claripy . ast . Base , definition : Definition ) : return self . live_definitions . annotate_with_def ( symvar , definition )