if stmt.true.value in self.function.blocks:
        dest_true = self.function.blocks[stmt.true.value]