'Returns if s.addr is not a proper node in our CFG.
:param SimState s: The SimState instance to test.
:returns bool: False if our CFG contains p.addr, True otherwise.'

def is_not_in_cfg(self, s):

    n = self._cfg.get_any_node(s.addr, is_syscall=s.history.jumpkind.startswith('Ijk_Sys'))
    if (n is None):
        return True
    if (n.simprocedure_name == 'PathTerminator'):
        return True
    return False
