algebraic_type_CVC4,1.5.oracle 936 Bytes