code: 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
docs: 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