deletions | additions       diff --git a/subsection_Constraint_Graph_Assuming_that__.tex b/subsection_Constraint_Graph_Assuming_that__.tex  index 8e7e5c4..b2ceb59 100644  --- a/subsection_Constraint_Graph_Assuming_that__.tex  +++ b/subsection_Constraint_Graph_Assuming_that__.tex 
...
\subsection{Constraint Graph}  Assuming that we have no other arcs to process, the following is the constraint graph constructed:  \begin{center}  [A]--- \([A = B + 1]\) ---[B]--- \([B = 2C]\) ---[C]  \end{center}