':param angr.analyses.CFGAccurate cfg:   An instance of CFGAccurate.
:param angr.SimState state:             The state to check.
:param int peek_blocks:                 Number of blocks to peek ahead from the current point.
:return: True if we can determine that this condition is definitely satisfiable if the path is taken, False
otherwise.
:rtype: bool'

def check(self, cfg, state, peek_blocks):

    raise NotImplementedError()
