public void insert_aswrange(final Swizzler indswz) {
		final Iterator iter = CFG.preds(indswz.phi_block()).iterator();
		while (iter.hasNext()) {
			final Block blk = (Block) iter.next();
			if (!indswz.phi_block().dominates(blk)) {
				final SRStmt aswrange = new SRStmt((Expr) indswz.array()
						.clone(), (Expr) indswz.init_val().clone(),
						(Expr) indswz.end_val().clone());
				blk.tree().addStmtBeforeJump(aswrange);
				changed = true;
				if (InductionVarAnalyzer.DEBUG) {
					System.out.println("Inserted ASWR: " + aswrange
							+ "\nin block: " + blk);

					System.out.println("$$$ can insert aswrange now\n"
							+ "array: " + indswz.array() + "\nIV: "
							+ indswz.ind_var() + "\ninit: " + indswz.init_val()
							+ "\nend: " + indswz.end_val());
				}
			}
		}
	}