'Check if self is the same as other.'

def __eq__(self, other):

    return ((self.block_addr == other.block_addr) and (self.stmt_idx == other.stmt_idx) and (self.sim_procedure is other.sim_procedure))
