'Initializes a CongruencyCheck analysis.
:param throw: whether to raise an exception if an incongruency is found.'

def __init__(self, throw=False):

    self._throw = throw
    self.simgr = None
    self.prev_pg = None
