return bb.getId()+":"+handle.getInstruction();
return bb.getId()+":"+ handle.getPosition() + " " + handle.getInstruction();
	private static String blockId(BasicBlock bb) {		InstructionHandle handle = bb.getFirstInstruction();		if (handle == null) return ""+ bb.getId();		return bb.getId()+":"+handle.getInstruction();	}