SZS status Theorem for i/f/list/FORALL__LIST0
