public void visitCheckExpr(final CheckExpr expr) {
		if (expr instanceof ZeroCheckExpr) {
			visitZeroCheckExpr((ZeroCheckExpr) expr);
		} else if (expr instanceof RCExpr) {
			visitRCExpr((RCExpr) expr);
		} else if (expr instanceof UCExpr) {
			visitUCExpr((UCExpr) expr);
		}
	}