Sorted for merge, no duplicates; if present, {@link #EMPTY_RETURN_STATE} is always last.
List<int> returnStates;