'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'

@staticmethod
def _narrow_states(node, old_state, new_state, previously_widened_state):

    l.debug('Narrowing    state    at    IP    %s', previously_widened_state.ip)
    s = previously_widened_state.copy()
    narrowing_occurred = False
    return (s, narrowing_occurred)
