SZS status Theorem for i/f/Past_Temporal_Logic/PRENEX__NEXT__NORMAL__FORM_c4
