Add success message when applying equation

Author: geo2a

booster/library/Booster/Pattern/ApplyEquations.hs

@@ -977,7 +977,9 @@ applyEquation term rule = withRuleContext rule $ fmap (either Failure Success) $
                         -- throws if an ensured condition found to be false
                         catMaybes <$> mapM (checkConstraint EnsuresFalse) ensured
                     lift $ pushConstraints $ Set.fromList ensuredConditions
-                    pure $ substituteInTerm subst rule.rhs
+                    let rewrittenTerm = substituteInTerm subst rule.rhs
+                    withContext "success" $ logMessage ("" :: Text)
+                    pure rewrittenTerm
                 unclearConditions -> do
                     withContext "failure" $
                         logMessage $