Adding some demonstrative asserts for AAND.