Enviar aquest missatge de text: The automatic detection of token structures and invariants using SAT checking