(self, atom: Atom)
Overwrite existing definitions w.r.t 'atom' with a dummy definition instance. A dummy definition will not be
        removed during simplification.

        :param atom:
        :param CodeLocation code_loc:
        :param object data:
        :return: None
Overwrite existing definitions w.r.t 'atom' with a dummy definition instance. A dummy definition will not be
        removed during simplification.
Overwrite existing definitions w . r . t atom with a dummy definition instance . A dummy definition will not be removed during simplification .
def kill_definitions(self, atom: Atom) -> None:
        """
        Overwrite existing definitions w.r.t 'atom' with a dummy definition instance. A dummy definition will not be
        removed during simplification.

        :param atom:
        :param CodeLocation code_loc:
        :param object data:
        :return: None
        """

        self.live_definitions.kill_definitions(atom)
def kill_definitions ( self , atom : Atom ) -> None : self . live_definitions . kill_definitions ( atom )