'Merge multiple abstract states into one.
:param node:   A node in the graph.
:param states: Abstract states to merge.
:return:       A merged abstract state.'

def _merge_states(self, node, *states):

    raise NotImplementedError('_merge_states()    is    not    implemented.')
