public boolean hasBasicSuccEdge() {

    // FIXME: default switch

    return type == StatementType.BASIC_BLOCK || (type == StatementType.IF &&
                                                        ((IfStatement)this).iftype == IfStatement.IFTYPE_IF) ||
           (type == StatementType.DO && ((DoStatement)this).getLoopType() != LoopType.DO);
  }
public boolean hasBasicSuccEdge()