public void visitUCExpr(final UCExpr expr) {
		if (expr.expr() instanceof UCExpr) {
			// Remove redundent update checks

			final UCExpr uc = (UCExpr) expr.expr();

			if (uc.kind() == expr.kind()) {
				node = uc;

				if (replace) {
					// uc(uc(x)) --> uc(x)
					expr.visit(new ReplaceVisitor(uc, uc.expr()));
					uc.cleanupOnly();
				}
			}
		}
	}