end-of-sequence constraint if there is only one token