Create assert.sml

Yawn