int nakedAlt = ndSet.subtract(predSet).getSingleElement(); SemanticContext nakedAltPred; if ( nakedAlt == max(nondeterministicAlts) ) {
int nakedAlt = ndSet.subtract(predSet).getSingleElement(); SemanticContext nakedAltPred = null; if ( nakedAlt == max(nondeterministicAlts) ) {
int nakedAlt = ndSet.subtract(predSet).getSingleElement(); SemanticContext nakedAltPred = null; if ( nakedAlt == max(nondeterministicAlts) ) {
int nakedAlt = ndSet.subtract(predSet).getSingleElement(); SemanticContext nakedAltPred; if ( nakedAlt == max(nondeterministicAlts) ) {