updatedStateMap.put(state.getObligationSet(), state);
				public void apply(State state) throws NonexistentObligationException {					// Find state in other fact with same obligation set (if any).					State matchingState = inputFact.getStateWithObligationSet(state.getObligationSet());					if (matchingState != null) {						// Combine the states by using the shorter of the two paths.						if (state.getPath().getLength() > matchingState.getPath().getLength()) {							state.getPath().copyFrom(matchingState.getPath());						}						updatedStateMap.put(state.getObligationSet(), state);					}				}