boolean splitChosen(){
  return (assumeReps.size() > 0) && (assumeReps.elementAt(assumeReps.size() - 1).nodeType == NodeRepresentation.OR_DECOMP);
}

boolean splitChosen ( ) { return ( assumeReps . size ( ) > 0 ) && ( assumeReps . elementAt ( assumeReps . size ( ) - 1 ) . nodeType == NodeRepresentation . OR_DECOMP ) ; }
on 15 oct 2014 the field chosensplit was removed . it contained the index of an or - split entry in assumereps , if there is one . now , such an or - split entry must be the last one in assumereps , so the splitchosen ( ) method replaces it .
