public void addState(TLCState state,boolean stateSortDirection){
  if (stateSortDirection) {
    states.addFirst(state);
  }
 else {
    states.add(state);
  }
}

public void addState ( TLCState state , boolean stateSortDirection ) { if ( stateSortDirection ) { states . addFirst ( state ) ; } else { states . add ( state ) ; } }
add a state to a trace
