private static boolean containsState(Collection<? extends DfaMemoryState> processed,
                                       DfaInstructionState instructionState) {
    if (processed.contains(instructionState.getMemoryState())) {
      return true;
    }
    for (DfaMemoryState state : processed) {
      if (state.isSuperStateOf(instructionState.getMemoryState())) {
        return true;
      }
    }
    return false;
  }
private static boolean containsState(Collection<? extends DfaMemoryState> processed,
                                       DfaInstructionState instructionState)