public void remove(final TreePath path) {
    if (path == null) {
      return;
    }

    final AbstractCriterionTreeNode node = (AbstractCriterionTreeNode) path.getLastPathComponent();
    final ICriterionTreeNode removeNode = findNode(ctree.getRoot(), node.getCriterion());

    ctree.removeNode(removeNode);
  }
This class provides the basic operations of the expression, which are remove, insert and append
criterion.
java/ui/src/main/java/com/google/security/zynamics/bindiff/gui/dialogs/criteriadialog/expressiontree/ExpressionTreeActionProvider.java