इसका टेक्स्ट मैसेज भेजे: The automatic detection of token structures and invariants using SAT checking