Using adaptive distinguishing sequences in checking sequence constructions