% Some macros/commands to construct control flow graphs and keep some common
% terminonlogy like begin and end

\tikzstyle{bblock}=[draw,rounded corners,font=\footnotesize]
\tikzstyle{cfgpicture}=[>=latex]
\newcommand{\cfgstart}{{\bfseries Start}}
\newcommand{\cfgend}{{\bfseries End}}
\newcommand{\dominates}{\preceq}
\newcommand{\sdominates}{\prec}
\newcommand{\pdominates}{\succeq}
\newcommand{\spdominates}{\succ}

\DeclareMathOperator*{\domop}{dom}
\DeclareMathOperator*{\idomop}{idom}
\DeclareMathOperator*{\postdom}{postdom}
\DeclareMathOperator*{\predop}{pred}
\DeclareMathOperator*{\succop}{succ}
\DeclareMathOperator*{\intersectop}{\bigcap}
\DeclareMathOperator*{\dfnum}{dfnum}