return getBasicBlock().hashCode() + index; }
int code = getBasicBlock().hashCode() * 227; if (next != null) code += next.getPosition() + 1; return code; }
	public int hashCode() {	    return getBasicBlock().hashCode() + index;	}