Revert "Temporary silence the recursion warning"

This reverts commit 626b3c6.

Author: geo2a

booster/library/Booster/Pattern/ApplyEquations.hs

@@ -460,8 +460,7 @@ iterateEquations direction preference startTerm = do
                     "Recursion limit exceeded. \
                     \Previous \"term*detail\" messages show the terms involved."
             withContext "abort" . withContext "detail" $ logMessage details
-            -- FIXME: temporary remove the warning, will not pass CI
-            -- logWarn msg
+            logWarn msg
             throw . TooManyRecursions . (.recursionStack) =<< getState
 
     go :: MonadLoggerIO io => Term -> EquationT io Term