def setTerminator(terminator: Terminator) = {
    for (s <- succ) {
      s.pred.remove(this)
    }

    this.terminator = terminator

    terminator match {
      case Jump(b1)        => assoc(b1)
      case Cond(_, b1, b2) => assoc(b1, b2)
      case _               => assoc()
    }
  }

  private def assoc(blocks: BasicBlock*) = {
    succ.clear()

    for (block <- blocks) {
      this.succ.add(block)
      block.pred.add(this)
    }
  }