deleted some assertions
bugfix: it was not printing context names in coloured verbose mode