expandAll();
}
@Override
protected MPSTreeNode rebuild() {
setRootVisible(false);
<BUG>return createNode(myState);
}
private TypeSystemStateTreeNode createNode(jetbrains.mps.newTypesystem.state.State state) {
TypeSystemStateTreeNode result = new TypeSystemStateTreeNode("State", myOperationContext);</BUG>
result.add(createNode("Inequalities", myState.getBlocks(BlockKind.INEQUALITY), null));

expandAll();
}
@Override
protected MPSTreeNode rebuild() {
setRootVisible(false);
return createNode();
}
private TypeSystemStateTreeNode createNode() {
TypeSystemStateTreeNode result = new TypeSystemStateTreeNode("State", myOperationContext);
result.add(createNode("Inequalities", myState.getBlocks(BlockKind.INEQUALITY), null));
