\section[SaAbsInt]{Abstract interpreter for strictness analysis}
\begin{code}
-#ifndef DEBUG
--- If DEBUG is off, omit all exports
+#ifndef OLD_STRICTNESS
+-- If OLD_STRICTNESS is off, omit all exports
module SaAbsInt () where
#else
iterations, because there are several variables involved at once.
\begin{code}
-#endif /* DEBUG */
+#endif /* OLD_STRICTNESS */
\end{code}