is mentioned by

Thm* s1,s2:SimpleType. st_eq(s1;s2) s1 = s2	[assert_st_eq]
Thm* s1,s2:SimpleType. st_eq(s1;s2)	[st_eq_wf]
Thm* SQType(SimpleType)	[st_sq]

Try larger context: GenAutomata