add the check for first 2 assertions in EmptyCollectorStack()
finish the checking for EmptyCollectorStack()