@Override
    void iteration(CFGBuilder builder) {
      myComparatorModel.invoke(builder);
      DfType source = DfaOptionalSupport.getOptionalValue(true);
      builder.pushForWrite(myResult).push(source).assign().pop();
    }
@Override
    void iteration(CFGBuilder builder)