import com.intellij.openapi.actionSystem.AnActionEvent;
import com.intellij.openapi.actionSystem.DefaultActionGroup;
import jetbrains.mps.ide.ui.MPSTree;
import jetbrains.mps.ide.ui.MPSTreeNode;
import jetbrains.mps.newTypesystem.presentation.difference.TypeSystemTraceTreeNode;
<BUG>import jetbrains.mps.newTypesystem.state.Block;

import jetbrains.mps.newTypesystem.state.BlockKind;
import jetbrains.mps.newTypesystem.state.InequalityBlock;
import jetbrains.mps.newTypesystem.state.NodeMaps;</BUG>
import jetbrains.mps.smodel.IOperationContext;

import com.intellij.openapi.actionSystem.AnActionEvent;
import com.intellij.openapi.actionSystem.DefaultActionGroup;
import jetbrains.mps.ide.ui.MPSTree;
import jetbrains.mps.ide.ui.MPSTreeNode;
import jetbrains.mps.newTypesystem.presentation.difference.TypeSystemTraceTreeNode;
import jetbrains.mps.newTypesystem.state.*;
import jetbrains.mps.smodel.IOperationContext;
