public boolean wellFormedRecursions(SJSessionType st) {
try {
wellFormedRecursionsAux(
st,
new HashSet<SJLabel>(),
new HashSet<
SJLabel>()); // Would be enough to just use a hasRecurse boolean? (As in the original
// implementation.)
} catch (SemanticException se) {
se.printStackTrace();
return false;
}
return true;
}
