SZS status Theorem for i/f/list/mem__exists__set
