Изменения в XML:

В BranchResultNode атрибут value теперь имеет значения “correct”, “error” или “null”
LogicAggregationNode переименован в BranchAggregationNode
WhileAggregationNode переименован в WhileCycleNode
В BranchAggregationNode атрибут operator принимает значения AND/OR/MUTEX/HYP
В CycleAggregationNode атрибут operator также теперь принимает значения AND/OR/MUTEX/HYP
В Outcome для BranchAggregationNode значение value теперь имеет значения “correct”, “error” или “null”
В Outcome для CycleAggregationNode значение value теперь имеет значения “correct”, “error” или “null”
В Outcome для WhileCycleNode значение value теперь имеет значения “correct”, “error” или “null”
PredeterminingFactorsNode удален, теперь он является подвидом для BranchAggregationNode со значением MUTEX

Изменения в редакторе узлов

В создании узла цикла добавлены операторы MUTEX/HYP
Создание логического узла переименовано в создание агрегационного узла
В Создании агрегационного узла добавлено создание узла HYP
Создание узла "Предрешающего фактора" переименован в создание узла "Mutex"
Созадние узла "Неопределенность" переименован в создание узла "Null". Также этот узел теперь является Null.
Для узлов AND, OR, HYP, Цикла и While можно создавать ветки: Correct, Error и Null. Ветки True и False удалены.

Изменен приоритет для сравнений (== и != имеют приоритет меньше чем >, <, >=, <=)
Для GetObjectByCondition и GetExtremeObject и обоих кванторов (for all и exists) добавлена типизация для переменной
Добавлены операторы if и with
Запись if

if' ( 'condition' ) 'body'

Запись with

with ( var = 'expression' ) 'body'

object as class

find extreme var [ 'expression' ] among type var { 'expression' }