this(source, dest, type, 0); }
if (VERIFY_INTEGRITY) { if (source == null) throw new IllegalArgumentException(); if (dest == null) throw new IllegalArgumentException(); } this.source = source; this.dest = dest; this.type = type; this.id = -1; this.nextOutgoingEdge = null; this.nextIncomingEdge = null; }
    public Edge(BasicBlock source, BasicBlock dest, int type) {	this(source, dest, type, 0);    }