public ElementSource runNonDet(Object input, RBContext context) {
final Frame leftResult = left.runSemiDet(input, context);
ElementSource rightResult = right.runNonDet(input, context);
if (leftResult == null) {
return rightResult;
} else {
// PoormansProfiler.countSingletonsFromDisjunctionSemiDetNonDet++;
return ElementSource.singleton(leftResult).append(rightResult);
}
}
