fix stuck formula generation

Author: ckrause

CHANGELOG.md

@@ -2,6 +2,10 @@ To install or update LODA, please follow the [installation instructions](https:/
 
 ## [Unreleased]
 
+### Bugfixes
+
+* Fix stuck formula generation
+
 ## v25.7.13
 
 ### Bugfixes

src/form/variant.cpp

@@ -38,8 +38,13 @@ bool VariantsManager::update(Variant new_variant) {
       new_variant.definition.name == new_variant.func) {
     return false;
   }
-  collectFuncs(new_variant);
   const auto num_terms = new_variant.definition.numTerms();
+  if (num_terms > 500) {  // magic number
+    Log::get().debug("Skipping variant with " + std::to_string(num_terms) +
+                     " terms");
+    return false;  // too many terms
+  }
+  collectFuncs(new_variant);
   // if (new_variant.used_funcs.size() > 3) {  // magic number
   //   return false;
   // }