is mentioned by

Thm* SQType(rel())	[rel_sq]
Thm* SQType(relname())	[relname_sq]
Thm* SQType(smt())	[smt_sq]

In prior sections: sqequal 1 prog 1 mb basic mb label mb automata 1

Try larger context: GenAutomata