[UPDATE] modified the format of assert function