#405 Slightly simpler for-loop condition in LangEquivCalculation.

1 job for 405-cif-event-based-language-equivalence-check-generates-incorrect-counterexamples in 0 seconds (queued for 31 seconds)