public BasicBlockStatement getBasichead() {
    if (type == StatementType.BASIC_BLOCK) {
      return (BasicBlockStatement)this;
    }
    else {
      return first.getBasichead();
    }
  }
public BasicBlockStatement getBasichead()