SZS status Theorem for i/f/Past_Temporal_Logic/SWHEN__EXPRESSIVE_c0
