Delete assert.ml