% SZS status Timeout for INDUCTIVE__INVARIANT__WFR
