Add a status bar + add dynamic precondition in the tokenizer