clean: simplify pc new formula for push X (#156)

Signed-off-by: F Bojarski <[email protected]>
Signed-off-by: Olivier Bégassat <[email protected]>
Co-authored-by: Olivier Bégassat <[email protected]>

Author: letypequividelespoubelles

hub/instruction_handling/push_pop/constraints.tex

@@ -54,7 +54,7 @@
 		we impose that
 		\begin{enumerate}
 			\item \If $\locIsPop      = 1$ \Then $\pc\new_{i} = 1 + \pc_{i}$
-			\item \If $\locIsPush     = 1$ \Then $\pc\new_{i} = 1 + \pc_{i} + (\stackInst_{i} - \inst{PUSH1} + 1)$
+			\item \If $\locIsPush     = 1$ \Then $\pc\new_{i} = 1 + \pc_{i} + (\stackInst_{i} - \inst{PUSH0})$
 			\item \If $\locIsPushZero = 1$ \Then $\pc\new_{i} = 1 + \pc_{i}$
 		\end{enumerate}
 		\saNote{}