SZS status Theorem for i/f/Temporal_Logic/UNTIL__EVENT
