У меня есть модель в muXmv, где я инициализирую диапазон значений, например - VAR x : 0..100; ASSIGN init(x) := 10..50; это отлично работает. Однако, когда я использую переменную вместо значений, ASSIGN init(x) := LB..UB;...