(node, old_state, new_state, previously_widened_state)
return s, narrowing_occurred
Try to narrow the state!

        :param old_state:
        :param new_state:
        :param previously_widened_state:
        :returns: The narrowed state, and whether a narrowing has occurred
Try to narrow the state!
Try to narrow the state!
def _narrow_states(node, old_state, new_state, previously_widened_state):  # pylint:disable=unused-argument,no-self-use
        """
        Try to narrow the state!

        :param old_state:
        :param new_state:
        :param previously_widened_state:
        :returns: The narrowed state, and whether a narrowing has occurred
        """

        l.debug('Narrowing state at IP %s', previously_widened_state.ip)

        s = previously_widened_state.copy()

        narrowing_occurred = False

        # TODO: Finish the narrowing logic

        return s, narrowing_occurred
def _narrow_states ( node , old_state , new_state , previously_widened_state ) : # pylint:disable=unused-argument,no-self-use l . debug ( 'Narrowing state at IP %s' , previously_widened_state . ip ) s = previously_widened_state . copy ( ) narrowing_occurred = False # TODO: Finish the narrowing logic return s , narrowing_occurred