SZS status Theorem for i/f/bool/BOOL__EQ__DISTINCT_c1
