question: boolean splitChosen ( ) { return ( assumeReps . size ( ) > 0 ) && ( assumeReps . elementAt ( assumeReps . size ( ) - 1 ) . nodeType == NodeRepresentation . OR_DECOMP ) ; }
target:  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.