boolean (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; }