private void applyToAllStatesAndUpdateMap(StateCallback callback,
public void applyToAllStatesAndUpdateMap(StateCallback callback,
	private void applyToAllStatesAndUpdateMap(StateCallback callback,			Map<ObligationSet, State> updatedStateMap)			throws NonexistentObligationException {		applyToAllStates(callback);		this.stateMap = updatedStateMap;	}