+absValFromStrictness anal NoStrictnessInfo = AbsTop
+absValFromStrictness anal (StrictnessInfo args_info bot_result)
+ = case args_info of -- Check the invariant that the arg list on
+ [] -> res -- AbsApproxFun is non-empty
+ _ -> AbsApproxFun args_info res
+ where
+ res | not bot_result = AbsTop
+ | otherwise = case anal of
+ StrAnal -> AbsBot
+ AbsAnal -> AbsTop
+\end{code}