Если абстрагироваться от выстраивания составных логических выражений, то конкретно это выражение по-хорошему должно было выглядеть так:## Код:
```
IF  (rightType(SyntaxTree.BaseArrayType).staticLength # 0)
 &  ( leftType(SyntaxTree.BaseArrayType).staticLength # 0)
THEN
```
Переделка кода для такой возможности должна быть простой, если нет надуманных переусложнений в работе с этим деревом. Тут пару взмахов над типами.