question: boolean displayContextAssump ( NodeRepresentation rep , int i ) { return rep . isCreated || ( ( ! state . splitChosen ( ) ) && showContextValue ) ; }
target:  This returns true iff we should display a context assumption  rep = state.assumeReps(i).  It equals: \/ i = chosenSplit \/ rep.isCreated = true \/ /\ state.chosenSplit =  -1 /\  /\ showContextValue = true Note that any of the first three disjunctions can be true when  showContextValue is false because it was set to false after  a context assumption was decomposed.