public ArrayList<Block> getPredecessors() {
		ArrayList<Block> predecessor = new ArrayList<Block>();
		if (normalPre != null) {
			predecessor.add(normalPre);
		}
		if (thenPre != null) {
			predecessor.add(thenPre);
		}
		if (elsePre != null) {
			predecessor.add(elsePre);
		}
		if (loopBack != null) {
			predecessor.add(loopBack);
		}
		return predecessor;
	}