branches = (self.function.blocks[stmt.true.value], self.function.blocks[stmt.false.value])