constructed product result}
\begin{code}
-#ifndef DEBUG
+#ifndef OLD_STRICTNESS
module CprAnalyse ( ) where
#else
arity = idArity v
-- Imported (non-nullary) constructors will have the CPR property
-- in their IdInfo, so no need to look at their unfolding
-#endif /* DEBUG */
+#endif /* OLD_STRICTNESS */
\end{code}