is mentioned by

Thm* Q:Fmla. closed_pred((Q)') closed_pred(Q)	[closed_pred_addprime]
Thm* Q:Fmla, A:ioa{i:l}(). covers_pred(A;(Q)') covers_pred(A;Q)	[covers_pred_addprime]

Try larger context: GenAutomata