if ( t.getUniqueAlt()==NFA.INVALID_ALT_NUMBER ) {
if ( t.getUniqueAlt()==NFA.INVALID_ALT_NUMBER ) {
if ( t.getUniqueAlt()==NFA.INVALID_ALT_NUMBER ) {
if ( t.getUniqueAlt()==NFA.INVALID_ALT_NUMBER ) {
if ( t.getUniqueAlt()==NFA.INVALID_ALT_NUMBER ) {
if ( t.getUniqueAlt()==NFA.INVALID_ALT_NUMBER ) {
if ( t.getUniqueAlt()==NFA.INVALID_ALT_NUMBER ) {
if ( t.getUniqueAlt()==NFA.INVALID_ALT_NUMBER ) {