'Mark a node as reached fixed-point. This node as well as all its successors will not be visited in the future.
:param node: The node to mark as reached fixed-point.
:return:     None'

def reached_fixedpoint(self, node):

    self._reached_fixedpoint.add(node)
