'Check if the current state satisfies the goal.
:param angr.SimState state:                  The state to check.
:return: True if it satisfies the goal, False otherwise.
:rtype: bool'

def check_state(self, state):

    raise NotImplementedError()
