[Add] EDAssert (0.1.0)