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

        :param symvar:
        :param definition:
        :return:
        """

        # strip existing definition annotations
        annotations_to_remove = [ ]
        for anno in symvar.annotations:
            if isinstance(anno, DefinitionAnnotation):
                annotations_to_remove.append(anno)
        if annotations_to_remove:
            symvar = symvar.remove_annotations(annotations_to_remove)

        # annotate with the new definition annotation
        return symvar.annotate(DefinitionAnnotation(definition))
def annotate_with_def ( symvar : claripy . ast . Base , definition : Definition ) : # strip existing definition annotations annotations_to_remove = [ ] for anno in symvar . annotations : if isinstance ( anno , DefinitionAnnotation ) : annotations_to_remove . append ( anno ) if annotations_to_remove : symvar = symvar . remove_annotations ( annotations_to_remove ) # annotate with the new definition annotation return symvar . annotate ( DefinitionAnnotation ( definition ) )