solvers.endOperator();
}
private void flatten(AndDescr descr, VerifierComponent parent,
int orderNumber) throws UnknownDescriptionException {
OperatorDescr operatorDescr = new OperatorDescr(OperatorDescr.Type.AND);
operatorDescr.setOrderNumber(orderNumber);
operatorDescr.setParent(parent);
data.add(operatorDescr);
solvers.startOperator(OperatorDescr.Type.AND);
flatten(descr.getDescrs(), operatorDescr);