RTRecordValue $recordCase1 =
((RTRecordValue)(java.lang.Object)accum.evaluate($ec));
RTValue path = $recordCase1.getOrdinalFieldValue(1);
RTValue isCycle = $recordCase1.getOrdinalFieldValue(2);
if (isCycle.evaluate($ec).getBooleanValue()) {
return accum;
} else {
return
RTRecordValue.makeTupleRecord(
new RTValue[] {new TYPE_List.CAL_Cons(vertexNum, path), isCycle});