public void visitUCExpr(final UCExpr expr) {
		if (expr.kind() == UCExpr.POINTER) {
			print("aupdate(");
		} else {
			print("supdate(");
		}

		if (expr.expr() != null) {
			expr.expr().visit(this);
		}
		print(")");
	}