SZS status Theorem for i/f/list/FORALL__LIST
