Я пытался использовать анализатор Alloy, но он вылетает, как только я пытаюсь что-то напечатать в редакторе, например.Есть идеи как это исправить?