inline assert.sml