public void visitSCStmt(final SCStmt stmt) {
		if (stmt.array == from) {
			stmt.array = (Expr) to;
			((Expr) to).setParent(stmt);
		} else if (stmt.index == from) {
			stmt.index = (Expr) to;
			((Expr) to).setParent(stmt);
		} else {
			stmt.visitChildren(this);
		}
	}