@NotNull
    @Override
    protected DfaMemoryState createMemoryState() {
      return myAssignments ? super.createMemoryState() : new AssignmentFilteringMemoryState(getFactory());
    }
@NotNull
    @Override
    protected DfaMemoryState createMemoryState()