public void removePath(final Block callerBlock, final Block returnBlock) {
		for (int i = 0; i < paths.size(); i++) {
			final Block[] path = (Block[]) paths.get(i);
			if ((path[0] == callerBlock) && (path[1] == returnBlock)) {
				if (FlowGraph.DEBUG) {
					System.out.println("removing path " + path[0] + " -> "
							+ path[1]);
				}
				paths.remove(i);
				return;
			}
		}
	}