Another direction for extending Courcelle's theorem concerns logical formulas that include predicates for counting the size of the test.
Другое направление расширения теоремы Курселя касается логических формул, включающих предикаты для подсчёта длины теста.