algebraic_types_poly_CVC4,1.5_WP.oracle 79 Bytes