[lib] Increase recursion limit for models with complex logical formulas

library/cadbiom/models/guard_transitions/analyser/ana_visitors.py

@@ -57,6 +57,11 @@ Visitors:
     - :meth:`cadbiom_gui.gt_gui.chart_checker.chart_checker_controler.PropertyVisitor`
       (used to get mandatory nodes in conditions of transitions)
 """
+import sys
+
+# Increase recursion depth limit for big models with long logical formulas in
+# events and conditions.
+sys.setrecursionlimit(3000)
 
 
 class TableVisitor(object):