Create assert.ml