Изменения

changed = false '''for''' f in closure: '''for''' rule in rules: //rules - правила вывода new_f = rule.apply(f) changed = closure.add(new_f) //add - возвращает true, если элемент был добавлен, false - иначе