Removed the use of stack structure and used a simple boolean flag to
enable/diable the assertion and assumptiom mode.