angr/state_plugins/history.py
def demote(self):
        """
        Demotes this history node, causing it to drop the strong state reference.
        """
        self.strongref_state = None

        Demotes this history node, causing it to drop the strong state reference.
        
Demotes this history node, causing it to drop the strong state reference.
Demotes this history node causing it to drop the strong state reference .
def demote(self):
        self.strongref_state = None
def demote ( self ) : self . strongref_state = None
Demotes this history node, causing it to drop the strong state reference.
Demotes this history node causing it to drop the strong state reference .
"""
        Demotes this history node, causing it to drop the strong state reference.
        """
self