public CriterionTree getCriterionTree() {
    return ctree;
  }
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