algebraic_type_CVC4,1.5_WP.oracle 1.65 KB