Fixing LTL formula decomposition

Merge request reports

Loading