SZS status Theorem for i/f/HolSmt/ALL__DISTINCT__CONS
