'Include a statement in the final slice.
:param block_address:   Address of the basic block.
:param stmt_idx:        Statement ID.'

def _pick_statement(self, block_address, stmt_idx):

    self.chosen_statements[block_address].add(stmt_idx)
