[UPDATE] modified the header file for function assert