Create assert.adl