Delete assert.mli