'Filter out all states that run out of boundaries or loop too many times.
param SimState state: SimState instance to check
returns bool:    True if outside of mem/loop_ctr boundary'

def is_overbound(self, state):

    ip = state.addr
    if (ip in self._boundaries):
        l.debug('...    terminating    Veritesting    due    to    overbound')
        return True
    if ((ip in self._loop_heads) or (state.history.jumpkind == 'Ijk_Call')):
        state.globals['loop_ctrs'][ip] += 1
        if (state.globals['loop_ctrs'][ip] >= (self._loop_unrolling_limit + 1)):
            l.debug('...    terminating    Veritesting    due    to    overlooping')
            return True
    l.debug('...    accepted')
    return False
