public final RTValue f2S(RTValue accum, RTValue vertexNum, RTExecutionContext $ec) throws CALExecutorException {
// Top level supercombinator logic
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});